/PatternEditor.h/1.10/Wed May 11 20:30:19 2005//
/PatternEditorPanel.h/1.15/Wed May 11 20:30:19 2005//
/PatternEditor.cpp/1.25/Mon May 16 18:23:04 2005//
/PatternEditorPanel.cpp/1.37/Sat Jun  4 09:47:32 2005//
D
