Blame | Last modification | View Log | RSS feed
# This file is automatically generated by the online site maintenance tool.
# You can still edit it by hand, but documentation is only available in the
# online tool.
#
default_texposition=1
default_ins_format=png
gnuplot_format=png
show_author=yes
site_languages=en ca cn de es fr it nl si
devel_modules=open