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