]> matita.cs.unibo.it Git - helm.git/commit
bugfix: use utf8-aware substring function
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 22:30:23 +0000 (22:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 22:30:23 +0000 (22:30 +0000)
commit1a56e06b4c137fa7f6f973f51ee639ab1462f525
tree028962c2544f14d69a136cf82fb59514a0d500de
parent908c9a60083706cffe3ca1c9d235a05d38a19516
bugfix: use utf8-aware substring function
helm/software/components/grafite_parser/grafiteWalker.ml