]> Savannah Git Hosting - gnulib.git/commit
misc: optional configuration paths
authorDmitry Selyutin <ghostmansd@gmail.com>
Wed, 4 Jul 2018 20:50:33 +0000 (23:50 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Wed, 4 Jul 2018 20:50:33 +0000 (23:50 +0300)
commit4420b71bbf644c1101d08d9d9e0ad40a93283512
tree0149ba28844ae857abe428755db4ff172cbda624
parent0c6eab271e5934dd65e535bcc1bf2ceb1dd7c821
misc: optional configuration paths
pygnulib.py
pygnulib/config.py
pygnulib/misc.py