Commit Graph

2 Commits

Author SHA1 Message Date
a36b7a8ab6 Fix linux build with tools=no. 2020-03-31 00:57:58 +02:00
c9978d13ba Ported PropToolProp aswell. 2020-02-27 21:37:50 +01:00