aboutsummaryrefslogtreecommitdiff
path: root/doc/paper
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2019-09-18 19:45:10 +0200
committerFlorian Dold <florian.dold@gmail.com>2019-09-18 19:45:10 +0200
commit389b5de09dc3720c22ac86d5cad4c1495fc5be58 (patch)
treef5fe6abaffcea3e9259fd70571e71caebbf61f6b /doc/paper
parenta18011012d27a183965baf5c95110598758b757f (diff)
use pre-built man and texinfo from docs.git
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions