diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-01-26 19:18:58 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-26 19:18:58 +0100 |
| commit | 58e910f355589f48150f16f264b5014956718548 (patch) | |
| tree | 7212ef2b790e493474aba7364cef97a58f702c61 /lib/helpers/dune | |
| parent | 36c8f580659be0586413e3bfc891173fff3edd21 (diff) | |
Remove all helper modules.
Now, only God can help me.
Diffstat (limited to 'lib/helpers/dune')
| -rw-r--r-- | lib/helpers/dune | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/helpers/dune b/lib/helpers/dune deleted file mode 100644 index f04f60c..0000000 --- a/lib/helpers/dune +++ /dev/null @@ -1,5 +0,0 @@ -(library - (name helpers) - (public_name ogit.helpers) - (libraries unix views) - (modules html_helpers file_helpers)) |