projects / gringo.git / commit
| author | Adrian Bunk <bunk@debian.org> | |
| Sat, 19 Nov 2022 10:33:48 +0000 (10:33 +0000) | ||
| committer | Adrian Bunk <bunk@debian.org> | |
| Sat, 19 Nov 2022 10:33:48 +0000 (10:33 +0000) | ||
| commit | 5433b127387c5c0f1919a3553e8286ece8fc2574 | |
| tree | cb6843185fb50a2c6d2c8e44a09608793bf10428 | tree | snapshot |
| parent | bc50c8b1dd3221d2b93a739055d6e6beb025b66e | commit | diff |
| parent | 70082256eb500f66a6e14d9835f0d7c894da19ad | commit | diff |