]> matita.cs.unibo.it Git - helm.git/commit
fixed some invalid backslash escapes
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:13:15 +0000 (13:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:13:15 +0000 (13:13 +0000)
commitf3a9792d6db5799d32bc11c99c78c8b180f58933
tree53311ba477241f6d16137faa20d6c8b639ee7e2e
parenta205a15c75ad835facda0f6949f484787e9940a8
fixed some invalid backslash escapes
helm/ocaml/registry/helm_registry.ml