Closed intigonzalez closed 8 years ago
For some reason, I cannot remember that the DSL already has a proper name TIMA. As a consequence, the file extension for source files shouldn't be gossip but tima.
Done, I believe
intigonzalez
commented
8 years ago
For some reason, I cannot remember that the DSL already has a proper name TIMA. As a consequence, the file extension for source files shouldn't be gossip but tima.