projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000) | ||
| commit | 4fe6a65e70008668c34d878e0b291833b7220a3f | |
| tree | 4c386bd3ed58fae89704ea10a415d2dd61832b5f | tree | snapshot |
| parent | f5e1bcdd6f0ede31c0f35fb707a39af27fb9ac9b | commit | diff |
| parent | 7ec6bd18e6f0a3bbb2a516ca3267856cf299b5dd | commit | diff |