diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-13 13:35:36 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-13 13:35:36 -0500 |
| commit | fde592dbbb97a89a498feb95f97bee674bd571e8 (patch) | |
| tree | a5eb1e01a897bdb68ab4690ae75d07ca76dc8cec /lib/grep.ml | |
| parent | 2b47b301cbf234eabfcebd28f069e5d154441354 (diff) | |
| download | stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.tar.gz stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.tar.bz2 stitch-fde592dbbb97a89a498feb95f97bee674bd571e8.zip | |
Refactor
Diffstat (limited to '')
| -rw-r--r-- | lib/grep.ml (renamed from lib/stitch.ml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/stitch.ml b/lib/grep.ml index a6ba300..a6ba300 100644 --- a/lib/stitch.ml +++ b/lib/grep.ml |