summaryrefslogtreecommitdiff
path: root/watch
diff options
context:
space:
mode:
Diffstat (limited to 'watch')
-rw-r--r--watch2
1 files changed, 2 insertions, 0 deletions
diff --git a/watch b/watch
new file mode 100644
index 0000000..5b7a022
--- /dev/null
+++ b/watch
@@ -0,0 +1,2 @@
+version=3
+https://github.com/janestreet/sexplib0/tags .*/v(.*)\.tar\.gz