/AutoDeriv

eclipse plugin that handle the 'derived' state of resources from a textual file.

Primary LanguageJavaOtherNOASSERTION

No issues in this repository yet.