Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-09-15 | Include the colour name | Juan J. Martinez | |
2021-10-19 | Be explicit | Juan J. Martinez | |
2021-10-19 | scripts that write data by output redirection require .DELETE_ON_ERROR | Pedro de Medeiros | |
2021-01-25 | Reviewed makefiles | Juan J. Martinez | |
2021-01-09 | Added compression to the map | Juan J. Martinez | |
2020-12-30 | Initial import1.0 | Juan J. Martinez | |