| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| patch-man_Makefile | 2020-09-11 18:35 | 286 | ||
| patch-doc_eukleides.texi | 2020-09-11 18:35 | 533 | ||
| patch-build_Makefile | 2020-09-11 18:35 | 625 | ||
| patch-bash_euktoeps | 2020-09-11 18:35 | 349 | ||
| patch-Config | 2018-11-10 18:12 | 729 | ||