repositories / clean-tests.git / commit
| author | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 27 Nov 2018 15:55:16 +0000 (16:55 +0100) | ||
| committer | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 27 Nov 2018 15:55:16 +0000 (16:55 +0100) | ||
| commit | 728c5d66f20c4b243dae105cff5df5b3207b8875 | |
| tree | 0509f8ecbb0da5b46c7c93a90c85258b329c0a36 | tree | snapshot |
| parent | d26a3de8f47eefd5839f71ab4fe7145966ce0e45 | commit | diff |
| afp/a10/a10.icl | diff | blob | history | |
| afp/a10/setGADT.icl | [new file with mode: 0644] | blob |
| afp/a9/a9.icl | diff | blob | history |