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