| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | - package only info files from %{_infodir} (do not package %{_infodir}/dir) | sparky | 12 years | |
| Tag | Download | Author | Age | |
| STABLE | STABLE.zip STABLE.tar.gz | Michal Moskal | 12 years | |
| twelf-1_3-1 | twelf-1_3-1.zip twelf-1_3-1.tar.gz | Michal Moskal | 12 years | |
| Age | Commit message | Author | Files | Lines |
| 2012-06-24 | - package only info files from %{_infodir} (do not package %{_infodir}/dir)HEADmaster | sparky | 1 | -1/+1 |
| 2012-06-24 | - dropped pre-cvs changelog | sparky | 0 | -0/+0 |
| 2012-06-24 | - tabs in preamble | Elan Ruusamäe | 1 | -1/+1 |
| 2012-06-24 | - converted to UTF-8 | Jan Rękorajski | 1 | -8/+8 |
| 2012-06-24 | - kill Icon: field (support for these is obsolete says jbj) | Arkadiusz Miśkiewicz | 1 | -1/+0 |
| 2012-06-24 | - md5 | ankry | 1 | -0/+2 |
| 2012-06-24 | - massive attack s/pld.org.pl/pld-linux.org/ | misi3k | 0 | -0/+0 |
| 2012-06-24 | - new %%doc | juandon | 1 | -2/+1 |
| 2012-06-24 | - adapterized. | kloczek | 1 | -1/+1 |
| 2012-06-24 | - removed all Group fields translations (oure rpm now can handle translating | kloczek | 1 | -2/+0 |
| [...] | ||||
| Clone | ||||
| git://git.pld-linux.org/packages/twelf.git | ||||
 |
index : packages/twelf.git | |
| meta-theorem proover for LF | PLD Gitolite User |
| summaryrefslogtreecommitdiff |