diff tools/editor/lang/infotext.txt @ 385:fa1373b9fa16

Added the correct header to a few of the editor files.
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Thu, 21 Jan 2010 17:29:54 +0000
parents 64738befdf3b
children b2feacaed53c
line wrap: on
line diff