]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b18914a) | 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)
commitf7137d4c9643a496396c5335116179087205ac05
tree7f257312e7e75e9d7423ab32d2c3194bfea41ecatree | snapshot
parentb18914ae1e60e054d1fda27438a4e29008898e04commit | diff
Added module GrafiteWalker, which implements traversals (recursive and not) over
grafite scripts. Useful for grep/sed like operations over a bunch of scripts.
components/grafite_parser/.depend diff | blob | history
components/grafite_parser/Makefile diff | blob | history
components/grafite_parser/grafiteWalker.ml [new file with mode: 0644] blob
components/grafite_parser/grafiteWalker.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.