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 /ae15bf910629378d9d5a101cf4ef9f9ad77174e5.html | |
| parent | 94eea6fa993ca19a57ff7e15e886fa2e43f173e9 (diff) | |
docs/conf.py: Rename 'browse source' -> 'Source'.
Diffstat (limited to 'ae15bf910629378d9d5a101cf4ef9f9ad77174e5.html')
0 files changed, 0 insertions, 0 deletions