]> git.pld-linux.org Git - packages/why3.git/commit
projects / packages / why3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c13c31) | patch
- drop (x)emacs BRs auto/th/why3-0.73-1
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:49:20 +0000 (13:49 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:49:20 +0000 (13:49 +0200)
commit51f94c8775df6179222fc02d0f3970c3e01b87f9
tree7ca07d02d91836128aeef5baebe9e58e9a3f10e2tree | snapshot
parent6c13c3190c146c184b84c6f234dfcbbb32055819commit | diff
- drop (x)emacs BRs
why3.spec diff | blob | blame | history
Software verification platform
This page took 0.047728 seconds and 4 git commands to generate.