Unbenutztes vorkommen von write_trigger in do.pl entfernt.
authorSven Schöling <s.schoeling@linet-services.de>
Thu, 9 Aug 2012 13:27:26 +0000 (15:27 +0200)
committerSven Schöling <s.schoeling@linet-services.de>
Thu, 9 Aug 2012 13:27:26 +0000 (15:27 +0200)
commit114b480fa13d67f74588ea90bb1dd542ed32a298
tree68b2b6fd317742260cab064fcf54ffee14ec57f0
parent95a25389a6a03b077c7266e220b9e115fc52491d
Unbenutztes vorkommen von write_trigger in do.pl entfernt.
bin/mozilla/do.pl