beremiz
Clone
Summary
Browse
Changes
Graph
minor gui improvements :
2008-07-15, etisserant
aa5f43bafad4
minor gui improvements :
- smaller plugin name field, indented according plugin depth
- C editor icon
- IEC editor icon
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>beremiz</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.python.pydev.PyDevBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.python.pydev.pythonNature</nature>
</natures>
</projectDescription>