Changeset 11937 for stable/HeuristicLab.CodeEditor/3.4/Properties

Timestamp:

02/06/15 12:44:09 (10 years ago)

Author:

jkarder

Message:

#2077: merged r11807:11811, r11816, r11819, r11822, r11825, r11834, r11835, r11836, r11933 and r11936 into stable

Location:

stable

Files:

• . (modified) (1 prop)
• HeuristicLab.CodeEditor/3.4 (copied) (copied from trunk/sources/HeuristicLab.CodeEditor/3.4)