diff protege.properties @ 13:dacf1b7b3ad5 default tip

libs added
author dwinter
date Mon, 17 Sep 2012 10:46:36 +0200
parents e0aca5ffc4df
children
line wrap: on
line diff