Commit Graph

2 Commits

Author SHA1 Message Date
Pavel Sanda
ca0813915c Push Tommaso's script for publishing mans. 2017-08-17 01:14:56 +02:00
Pavel Sanda
7f4e46440d Push Tommaso script for manuals generation. 2017-08-17 00:10:15 +02:00