summaryrefslogtreecommitdiff
path: root/doc/repl.texi
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2022-10-16 04:14:37 +0100
committerjao <jao@gnu.org>2022-10-16 04:14:37 +0100
commit8637d72db828328ea645466036878820ec92d183 (patch)
treefd8d12fe56d23789a09db246a65ecac0498ce891 /doc/repl.texi
parentdbf07ebc781622184f6e944271c2d35becf9d13e (diff)
downloadgeiser-8637d72db828328ea645466036878820ec92d183.tar.gz
geiser-8637d72db828328ea645466036878820ec92d183.tar.bz2
fix for autodoc, ahem, extension
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions