aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-13 13:35:36 -0500
committerMarc Coquand <marc@mccd.space>2024-05-13 13:35:36 -0500
commitfde592dbbb97a89a498feb95f97bee674bd571e8 (patch)
treea5eb1e01a897bdb68ab4690ae75d07ca76dc8cec /lib/grep.ml
parent2b47b301cbf234eabfcebd28f069e5d154441354 (diff)
downloadstitch-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