diff options
| -rwxr-xr-x | lib/application/dune | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/application/dune b/lib/application/dune index 4661283..63f2baa 100755 --- a/lib/application/dune +++ b/lib/application/dune @@ -3,6 +3,5 @@ (libraries brr brr.note - elements ) ) |