diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2020-12-30 22:04:37 +0100 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-13 14:03:25 +0100 |
| commit | c6ddadaa62b7f26f238567f6dee2850b31b24709 (patch) | |
| tree | efba847bab953feaa067d58318cfed212aa498de /logic/n1.lyx | |
| parent | 970c59442497c400c83a19d4aa2db9265fc5292a (diff) | |
Init gcs.n3
Diffstat (limited to 'logic/n1.lyx')
0 files changed, 0 insertions, 0 deletions