Skip to content

finished implementation of issue #51

Wolfgang Schmid requested to merge 51-redesign-preferences-page into master
  • Removed info area
  • adapted layout to preferencelayout of protege

Closes #51 (closed)

Merge request reports