diff options
author | rsiddharth <rsd@gnu.org> | 2019-06-13 21:42:17 -0400 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2019-06-13 21:42:17 -0400 |
commit | 4828b292002b8663380c94c0552152723f6c1fe1 (patch) | |
tree | 82643613f86c71efca3a88024f6b1edbacf159a4 /_version.py | |
parent | 94eea6fa993ca19a57ff7e15e886fa2e43f173e9 (diff) |
docs/conf.py: Rename 'browse source' -> 'Source'.
Diffstat (limited to '_version.py')
0 files changed, 0 insertions, 0 deletions