Changeset 1550

Timestamp:
05/02/08 16:04:20 (23 months ago)
Author:
JensDiemer
Message:

rename "preferences" to "preference_editor"

Files:
1 removed