Rename default.docbook -> default.docbook4.
commitc4ba8bab6248f8999e520547f1c45f10de85db9d
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 26 Jan 2017, 22:36 (10 years ago)
parent335360e
default.docbook → default.docbook4renamed
The content is the same.