Project

General

Profile

« Previous | Next » 

Revision a923643b

IDa923643b12b7003fe9ca4eb0c0b0f99f24d9a6c6
Parent 58e5a22b
Child 2348d078

Added by Christian Bay 20 days ago

Add protege configure file to ignorelist

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences