diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-17 13:56:00 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-17 13:56:00 +0100 |
| commit | 20d10a93e5becb41d1145f9d35136782365b0ba4 (patch) | |
| tree | cb4e78c05ec538a3f47ba37231b705b713219a11 /curves/dune | |
| parent | 4f262d6540281487f79870aff589ca92f5d2f6c6 (diff) | |
Refactor
Diffstat (limited to 'curves/dune')
| -rwxr-xr-x | curves/dune | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/curves/dune b/curves/dune deleted file mode 100755 index 34c87fb..0000000 --- a/curves/dune +++ /dev/null @@ -1,7 +0,0 @@ -(library - (name curves) - (libraries - tools - matrix - ) - ) |