Select Git revision
plugin.properties
jastram authored
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@8280 1434b563-b632-4741-aa49-43a3a8374d2e
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
plugin.properties 127 B
# <copyright>
# </copyright>
#
# $Id$
pluginName = Event-B EMF Texttools
providerName = Heinrich-Heine University Dusseldorf