projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000) | ||
| commit | 247917944daef3c0ed087cc88345a74c1b6a781a | |
| tree | 6adebe531e0e23f168262d3ce1889f08f22b1a03 | tree | snapshot |
| parent | f3be172da790356fb7149be0a4638045e6a22e7c | commit | diff |
| parent | c77dcf9a53d5f6128d2bdc3a45747d7b00360da3 | commit | diff |