HCoop / bpt / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b8b767) | patch
Contact info dumper
authorAdam Chlipala <adamc@hcoop.net>
Sat, 19 Jan 2008 21:30:39 +0000 (21:30 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 19 Jan 2008 21:30:39 +0000 (21:30 +0000)
commit259cc257e2a9c6e40eb9f7b8bca15a75cfbf3d2e
tree2d768fc52758c54fdc05a0459ed7725d54a2617ctree | snapshot (tar.gz zip)
parent6b8b767b19126e3dae16613dff8b15604763ac5dcommit | diff
Contact info dumper
contact/.cvsignore [new file with mode: 0644] blob
contact/Makefile [new file with mode: 0644] blob
contact/contact.sh [new file with mode: 0755] blob
contact/contact.sig [new file with mode: 0644] blob
contact/contact.sml [new file with mode: 0644] blob
contact/sources.cm [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.