aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-01-30 10:49:07 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2018-01-30 10:49:37 +0100
commitbd234377b7fa2ef056544a9299478b265d18d89f (patch)
treed606286442820fbdda6124254fc633e35232e1c9 /GNUmakefile
parenta37ba8f8898e4629dfc9d2558fc19a180551de2d (diff)
Add a note to the README about the new method
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint