changeset 8 | 09cacfcd32fd |
parent 0 | 189280700bc7 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/main/resources/xelfi/templates/patterns/XelfiInterface.template Tue Jan 17 21:11:27 2017 +0100 1.3 @@ -0,0 +1,16 @@ 1.4 +/** 1.5 +* Xelfi Environment 1.6 +*/ 1.7 + 1.8 +package xelfi.editor; 1.9 + 1.10 +/** 1.11 +* 1.12 +* @author Jaroslav Tulach 1.13 +* @version 1.0 1.14 +*/ 1.15 +public interface TextEditorInfo { 1.16 + 1.17 +} 1.18 + 1.19 +