projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| commit | 4f08f981fe91eeef32defe0f1c6505e0fb2c60d4 | |
| tree | 25b7921f973814e7d355bf1a86aac20ffc086e4e | tree | snapshot |
| NEWS | [new file with mode: 0644] | blob |
| TODO | [new file with mode: 0644] | blob |
| changelog | [new file with mode: 0644] | blob |
| control | [new file with mode: 0644] | blob |
| copyright | [new file with mode: 0644] | blob |
| docs | [new file with mode: 0644] | blob |
| gbp.conf | [new file with mode: 0644] | blob |
| gringo.links | [new file with mode: 0644] | blob |
| gringo.manpages | [new file with mode: 0644] | blob |
| install | [new file with mode: 0644] | blob |
| missing-sources/doc/py/js/highlight.js | [new file with mode: 0644] | blob |
| patches/bump-version-5.4.1.patch | [new file with mode: 0644] | blob |
| patches/gringo-manpages.patch | [new file with mode: 0644] | blob |
| patches/gringo-python3-utf8.patch | [new file with mode: 0644] | blob |
| patches/link-libatomic-check.patch | [new file with mode: 0644] | blob |
| patches/series | [new file with mode: 0644] | blob |
| rules | [new file with mode: 0755] | blob |
| source/format | [new file with mode: 0644] | blob |
| symbols | [new file with mode: 0644] | blob |
| tests/control | [new file with mode: 0644] | blob |
| tests/gringo0 | [new file with mode: 0755] | blob |
| tests/gringo1 | [new file with mode: 0755] | blob |
| tests/gringo2 | [new file with mode: 0755] | blob |
| tests/gringo3 | [new file with mode: 0755] | blob |
| tests/gringo4 | [new file with mode: 0755] | blob |
| tests/gringo5 | [new file with mode: 0755] | blob |
| tests/gringo6 | [new file with mode: 0755] | blob |
| tests/gringo7 | [new file with mode: 0755] | blob |
| upstream/metadata | [new file with mode: 0644] | blob |
| watch | [new file with mode: 0644] | blob |