]> 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)
commit895d99fd68f7f4938e9feee68e75d8c896dbe0e0
treeac37bf43b9593d87425a43aa80152d18a6b5ad0a
parente0cf3f03dcddf705a47ded66633f3a6952759703
bugfix: use utf8-aware substring function
components/grafite_parser/grafiteWalker.ml