projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100) | ||
| commit | c60c67ba683e9ad6166ff81d7f7dd30ef6be2d73 | |
| tree | f4919f417c5b02e0b784fd728b5a2cb8b10bfc32 | tree | snapshot |
| parent | c756e7c2ba2bde60c35bed07ad19a2c41bb8c425 | commit | diff |
| parent | 4fe6a65e70008668c34d878e0b291833b7220a3f | commit | diff |