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 /209db125634cb6e681492ee8a4e2c35770ede044.html | |
parent | a229089f609cefbcd023e2291fa6c397088c7f7c (diff) |
docs/conf.py: Don't show anything in the footer.
Diffstat (limited to '209db125634cb6e681492ee8a4e2c35770ede044.html')
0 files changed, 0 insertions, 0 deletions