diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-12 18:15:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-12 18:15:59 +0200 |
| commit | ffc971e37b10475508cf24d681c55bcb1d4f8d5a (patch) | |
| tree | 33361fa036f4e7872fcafe198bf93e166879aca8 /community/clingo | |
| parent | 9ac76d0824fa60634b07dc7ca264c2c150b53ce4 (diff) | |
| download | packages-ffc971e37b10475508cf24d681c55bcb1d4f8d5a.tar.xz | |
core/gpm
Diffstat (limited to 'community/clingo')
0 files changed, 0 insertions, 0 deletions