]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21fac77) | patch
fixed classical non-C programmer misunderstooding of pointers
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Jun 2005 11:05:19 +0000 (11:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Jun 2005 11:05:19 +0000 (11:05 +0000)
commit34b02ee2b293ff779eb1231b189ee38ea747c6ff
tree2e0f47bb1a7b7684a2563d4735703ab5f59333c5tree | snapshot
parent21fac7762b3376d0c7d2eee4066aae9ce7268ba8commit | diff
fixed classical non-C programmer misunderstooding of pointers
helm/ocaml/urimanager/uriManager.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.