wims/000755 001750 001750 00000000000 14572616730 013526 5ustar00georgeskgeorgesk000000 000000 wims/wims.conf.distrib.debian000644 001750 001750 00000000466 14572623367 020246 0ustar00georgeskgeorgesk000000 000000 # 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