Skip to content

Commit

Permalink
fasten.safety.gsn.devkit: clean the fasten.gsn.devkit by allowing onl…
Browse files Browse the repository at this point in the history
…y minimal languages, the advanced languages will be provided by fasten.safety.gsn.ext.devkit
  • Loading branch information
danielratiu committed Mar 29, 2020
1 parent 2b64338 commit e92454f
Showing 1 changed file with 0 additions and 3 deletions.
Original file line number Diff line number Diff line change
@@ -1,9 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<dev-kit name="fasten.safety.gsn" uuid="b64463ba-ae31-4cf7-be7b-afc13cab4daa">
<exported-language name="e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)" />
<exported-language name="6464626a-ab04-4051-908e-5e8dc75acd78(com.mbeddr.formal.safety.gsn.ext)" />
<exported-language name="f465db4c-63d4-40ef-afda-acd713dc19a1(com.mbeddr.formal.safety.gsn.patterns)" />
<exported-language name="2ec00dc3-d0e8-497d-8fe3-82d556eb83ba(com.mbeddr.formal.safety.gsn.req)" />
<exported-language name="8ca79d43-eb45-4791-bdd4-0d6130ff895b(de.itemis.mps.editor.diagram.layout)" />
<exported-language name="434b2bfb-bd7a-47c9-bced-b445035e6d96(com.mbeddr.formal.safety.req)" />
<exported-language name="5e7ffa70-8e23-49f4-8c13-a887bba14c36(com.mbeddr.formal.safety.gsn.external_evidence)" />
Expand Down

0 comments on commit e92454f

Please sign in to comment.