projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94176a1) | patch
Use option instead of exception in chop_prefix
authorStéphane Glondu <glondu@debian.org>
Sun, 20 Aug 2023 08:59:52 +0000 (10:59 +0200)
committerStéphane Glondu <glondu@debian.org>
Sun, 20 Aug 2023 09:09:37 +0000 (11:09 +0200)
commitb13043695ee78c73bf9ea5c4c0d1c96b7ef2b92c
tree6fbdccd004a63055ac86483c4b01972fbe3b7c80tree | snapshot
parent94176a11f3c6decc61c75eebb9e28863193390e1commit | diff
Use option instead of exception in chop_prefix
debian/dispatch.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.