Mehr Optionen für print_options(), um bestimmte Einträge zu deaktivieren.
authorMoritz Bunkus <m.bunkus@linet-services.de>
Thu, 24 May 2007 09:07:40 +0000 (09:07 +0000)
committerMoritz Bunkus <m.bunkus@linet-services.de>
Thu, 24 May 2007 09:07:40 +0000 (09:07 +0000)
commit250a086bfcb9cb51fce6f347b295b3de6166ad83
treeab693346d0b4f768edb5de03bfc7d3999392d34d
parent504c056a5612c5cf263a4bc9d05980e410432be2
Mehr Optionen für print_options(), um bestimmte Einträge zu deaktivieren.
bin/mozilla/io.pl