diff options
Diffstat (limited to 'lang/baci/pkg/COMMENT')
-rw-r--r-- | lang/baci/pkg/COMMENT | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/baci/pkg/COMMENT b/lang/baci/pkg/COMMENT deleted file mode 100644 index a422117d53d..00000000000 --- a/lang/baci/pkg/COMMENT +++ /dev/null @@ -1 +0,0 @@ -Ben-Ari Concurrent Interpreter |