]>
2018-01-06 | Ferruccio Guidi | update in ground_2 + \lambda\delta-related ignores | blob | commitdiff | raw |
2018-01-05 | Ferruccio Guidi | more files to ignore | blob | commitdiff | raw | diff to current |
2017-12-28 | Claudio Sacerdoti... | added .gitignore | blob | commitdiff | raw | diff to current |