2020-03-25 | Amin Bandali | some accumulated uncommitted changes | blob | commitdiff | raw |
2020-01-01 | Amin Bandali | update my domain | blob | commitdiff | raw | diff to current |
2019-12-18 | Amin Bandali | small Makefile fixes | blob | commitdiff | raw |
2019-12-06 | Amin Bandali | tweak date format, add .gitignore and Makefile | blob | commitdiff | raw | diff to current |