diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-20 22:27:04 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-20 22:27:04 +0200 |
| commit | 3b90a643b3820e97bf1dab28ce41dacc4ca2831f (patch) | |
| tree | d9155ffdb21f109f41b69438c87b5fb0b3ee41fb /src/application/dune | |
| parent | 21d05774e5f78b6d070d69f714873b2c2a7cfe28 (diff) | |
Updated from js usage
Diffstat (limited to 'src/application/dune')
| -rwxr-xr-x | src/application/dune | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/application/dune b/src/application/dune deleted file mode 100755 index 77eb6b9..0000000 --- a/src/application/dune +++ /dev/null @@ -1,7 +0,0 @@ -(library
- (name application)
- (libraries
- brr
- brr.note
- )
- )
|