[options] Rename --dump-intermediate-pages to --dump-pages for consistence with --write-pages
parent
ab205b9dc8
commit
8bba753cca
Loading…
Reference in New Issue