summaryrefslogtreecommitdiff
path: root/.ert-runner
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2018-12-14 20:13:25 +0100
committerAndreas Politz <politza@hochschule-trier.de>2018-12-14 20:13:25 +0100
commitc41694fb198e644b3da03917e6792c71cf0c81dc (patch)
tree6f4e0c3e71b1855be38076797d3edecdfd084ff8 /.ert-runner
parent8fce453df8714aaf94a7ac56a3850ed3751ceae2 (diff)
parentbd81a2b7c75ffeaa6cb980bab5769e749b3ae3fe (diff)
Merge branch 'master' of github.com:politza/pdf-tools
Diffstat (limited to '.ert-runner')
0 files changed, 0 insertions, 0 deletions