Mercurial > hg > NamedIdentityManager
diff protege.properties @ 13:dacf1b7b3ad5 default tip
libs added
author | dwinter |
---|---|
date | Mon, 17 Sep 2012 10:46:36 +0200 |
parents | e0aca5ffc4df |
children |
author | dwinter |
---|---|
date | Mon, 17 Sep 2012 10:46:36 +0200 |
parents | e0aca5ffc4df |
children |