HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fc6b0d) | patch
setsa
authorAdam Chlipala <adamc@hcoop.net>
Sat, 23 Dec 2006 22:40:25 +0000 (22:40 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 23 Dec 2006 22:40:25 +0000 (22:40 +0000)
commit2e96b9d42f6d2619f961c753ac3bbc9ba57c5147
treeec2db13013c03d0d34dfbacb5073b865bd2bc691tree | snapshot (tar.gz zip)
parent2fc6b0dd10a94cf365b48df7fe6b0518e5dabdd1commit | diff
setsa
16 files changed:
Makefile diff | blob | blame | history
bin/.cvsignore diff | blob | blame | history
configDefault/spamassassin.cfg [new file with mode: 0644] blob
configDefault/spamassassin.cfs [new file with mode: 0644] blob
configDefault/spamassassin.csg [new file with mode: 0644] blob
src/.cvsignore diff | blob | blame | history
src/domain.sig diff | blob | blame | history
src/domain.sml diff | blob | blame | history
src/mail/setsa.sig [new file with mode: 0644] blob
src/mail/setsa.sml [new file with mode: 0644] blob
src/main-setsa.sml [new file with mode: 0644] blob
src/main.sig diff | blob | blame | history
src/main.sml diff | blob | blame | history
src/msg.sml diff | blob | blame | history
src/msgTypes.sml diff | blob | blame | history
src/sources diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.