Tatsuhiro Tsujikawa 699f04d0b8 Disable --deferred-input when --save-session is used together vor 10 Jahren
..
bash_completion d1bb9d3863 Update bash_completion vor 10 Jahren
manual-src 699f04d0b8 Disable --deferred-input when --save-session is used together vor 10 Jahren
sphinx_themes 4654f1974a Update sphinx_rtd_theme vor 10 Jahren
xmlrpc e2932608fc Add --pause-metadata option vor 11 Jahren
Makefile.am 02c65e0eca Always build doc/manual-src vor 12 Jahren