Commit Graph

3 Commits

Author SHA1 Message Date
Pavel Sanda
e8b324a984 oops, git is playing games with me. 2017-08-17 01:24:44 +02:00
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