commit | 718fa25183a9dd6b4cc6e9053fffe8f630a11e36 | [log] [tgz] |
---|---|---|
author | Michael Jastram <michael@jastram.de> | Thu Jan 15 11:02:07 2015 +0100 |
committer | Michael Jastram <michael@jastram.de> | Thu Jan 15 11:17:39 2015 +0100 |
tree | 4136cde45136a226920a5113948799839ac71962 | |
parent | 4992db72a81c34a9402362737d327e5edad432fd [diff] |
Interfaces for ReqIF Editors.