diff options
| author | deep-42-thought <github@eckner.net> | 2017-08-27 21:17:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-27 21:17:46 +0200 |
| commit | 4120aefd67048ed2e5bce7caf43e83d88a8165f1 (patch) | |
| tree | 0defe81841bb09aab0c072b3dbadd91a072b14ab /core | |
| parent | c2efa38e45a3916b6c702b79cc553260e8b7273e (diff) | |
| parent | aaa6b6d13d4322067b3baf53676e5c7656844058 (diff) | |
| download | packages-4120aefd67048ed2e5bce7caf43e83d88a8165f1.tar.xz | |
Merge pull request #3 from andreasbaumann/clingo
community/cringo: fixed building with upstream patch
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions