Jump to navigation Jump to search
407 bytes added ,  02:20, 27 August 2012
no edit summary
* {{Version|7.4}}: Initial values for options can now be specified via system properties, which can e.g. be passed on with the [ option -D] on command line, or using [, java.lang.String) System.setProperty()] before creating a BaseX instance. If options are implicitly changed by operations in the [[GUI]], the underlying commands will be listed in the [[GUI#Visualizations|Info View]].<br/>&nbsp;<br/>
=Main Options=
Bureaucrats, editor, reviewer, Administrators


Navigation menu