]> Savannah Git Hosting - gnulib.git/commit
config: rename avoid option into avoids
authorDmitry Selyutin <ghostmansd@gmail.com>
Sun, 3 Dec 2017 15:52:12 +0000 (18:52 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Sun, 3 Dec 2017 15:52:12 +0000 (18:52 +0300)
commit905560f886cfa56bd020faef63a7ffc9e2e384ee
tree8065a5cb924ce2cd343e7f1a2d5d32ea1b8b9546
parent424f28f6aac69f93dcf32a87ac27ded54d9d5166
config: rename avoid option into avoids
pygnulib/config.py