Changes

Jump to navigation Jump to search
28 bytes added ,  10:58, 2 July 2020
m
drop navbox
in batch mode, and you can use a script for that (or a makefile);
examples are given in the muse distribution.
 
 
[[Category:Text Editors]]

Navigation menu