]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ca23b5) | patch
Added module GrafiteWalker, which implements traversals (recursive and not) over
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:33:34 +0000 (21:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:33:34 +0000 (21:33 +0000)
commitf462045c431db02d49ca3920bc8039974370d009
treeb65d6c886edf3fb633101545b14733c22a42529dtree | snapshot
parent5ca23b5031f8bea8be8a60931affd9e19e389e4bcommit | diff
Added module GrafiteWalker, which implements traversals (recursive and not) over
grafite scripts. Useful for grep/sed like operations over a bunch of scripts.
helm/software/components/grafite_parser/.depend diff | blob | history
helm/software/components/grafite_parser/Makefile diff | blob | history
helm/software/components/grafite_parser/grafiteWalker.ml [new file with mode: 0644] blob
helm/software/components/grafite_parser/grafiteWalker.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.