diff options
| author | Rutger Broekhoff | 2025-08-26 11:18:00 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2025-08-26 11:18:00 +0200 |
| commit | 999300d65c44d419428f9a34e2f02c221a607698 (patch) | |
| tree | 6d0f983296b44131febe1e37b9d64b40d4bdcb1a /lib/prelude.ml | |
| parent | f95748e82a354f2ac857359774ec3227705838af (diff) | |
| download | rdcapsis-999300d65c44d419428f9a34e2f02c221a607698.tar.gz rdcapsis-999300d65c44d419428f9a34e2f02c221a607698.zip | |
Remove unnecessary line
Diffstat (limited to 'lib/prelude.ml')
0 files changed, 0 insertions, 0 deletions