]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c1a6c5) | patch
- added/moved METAs in meta/ dir
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 16:17:51 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 16:17:51 +0000 (16:17 +0000)
commitfec47c17784b6c916f1398bb047ff0b02a887609
tree022f831d89c33135e33d6177c32bff46c922a5e2tree | snapshot
parent3c1a6c534877f7b7266809e4d92de02c7f1ee9d4commit | diff
- added/moved METAs in meta/ dir
- split one META for threadSafe module
helm/hbugs/META.hbugs-common [deleted file] blob | history
helm/hbugs/Makefile diff | blob | history
helm/hbugs/broker/Makefile diff | blob | history
helm/hbugs/meta/META.hbugs-common.in [new file with mode: 0644] blob
helm/hbugs/meta/META.hbugs-thread-safe.in [new file with mode: 0644] blob
helm/hbugs/meta/Makefile [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.