]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 595d77e) | patch
bugfix: multiple bindings of the same key work again
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 09:37:32 +0000 (09:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 09:37:32 +0000 (09:37 +0000)
commitc56f7bc6c5590f057d2149934034eca2e35a811d
treefb262ed621ce696356b9ecff869974c2fabf9e4ftree | snapshot
parent595d77eece3202a799e786ac5996b6b1e25fac6ecommit | diff
bugfix: multiple bindings of the same key work again
helm/ocaml/registry/helm_registry.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.