diff options
| author | rsiddharth <rsd@gnu.org> | 2019-06-13 21:41:42 -0400 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2019-06-13 21:42:04 -0400 |
| commit | 94eea6fa993ca19a57ff7e15e886fa2e43f173e9 (patch) | |
| tree | a47e0a5d055c053d51c5181d57ba7d54edc38c20 /CONTRIBUTORS | |
| parent | a229089f609cefbcd023e2291fa6c397088c7f7c (diff) | |
docs/conf.py: Don't show anything in the footer.
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions