Skip to content

Commit 5e4890d

Browse files
committed
Fix missing plugin in trace generator feature
1 parent 3cceeb0 commit 5e4890d

1 file changed

Lines changed: 7 additions & 0 deletions

File tree

  • trace/generator/releng/org.gemoc.modeldebugging.trace.generator.feature

trace/generator/releng/org.gemoc.modeldebugging.trace.generator.feature/feature.xml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,4 +65,11 @@
6565
version="0.0.0"
6666
unpack="false"/>
6767

68+
<plugin
69+
id="fr.inria.diverse.trace.annotations"
70+
download-size="0"
71+
install-size="0"
72+
version="0.0.0"
73+
unpack="false"/>
74+
6875
</feature>

0 commit comments

Comments
 (0)