Age | Commit message (Expand) | Author |
---|---|---|
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 |