Commit [d6379f] default  Maximize  Restore  History

prevent empty generated directories

nipkow nipkow 2009-11-29

added thys/Tree-Automata/code/haskell/generated/dummy
added thys/Tree-Automata/code/ml/generated/dummy
added thys/Tree-Automata/code/ocaml/generated/dummy
thys/Tree-Automata/code/haskell/generated/dummy Diff Switch to side-by-side view
Loading...
thys/Tree-Automata/code/ml/generated/dummy Diff Switch to side-by-side view
Loading...
thys/Tree-Automata/code/ocaml/generated/dummy Diff Switch to side-by-side view
Loading...