2019-10-05 | Christian Grothoff | global reindent, now with uncrustify hook enabled | blob | commitdiff | raw |
2019-09-08 | ng0 | uncrustify as demanded. | blob | commitdiff | raw | diff to current |
2017-03-29 | Schanzenbach, Martin | - merge with master | blob | commitdiff | raw | diff to current |
2017-01-29 | Christian Grothoff | add path desirability calculations | blob | commitdiff | raw | diff to current |