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 | a00cfae287d73f683700795aae0f36569c4baffe | |
| tree | 38b344cb40730cc8cc6240e404c99fc2d42cb0e3 | tree | snapshot |
| parent | f3be172da790356fb7149be0a4638045e6a22e7c | commit | diff |
| parent | a41703a1d8e28d800422b735e2780925dec9c8fc | commit | diff |