Page MenuHomePhabricator
Create Task
Maniphest T18590

Use .mitk directory instead of .MITK directory for external whitelists
Closed, ResolvedPublic
Actions

Description

Use .mitk directory instead of .MITK directory for external whitelists.

Event Timeline

kislinsk added projects: MITK, Bugzilla.Jan 7 2015, 2:24 PM
• git-user added a subscriber: • git-user.Jan 7 2015, 2:25 PM

User kislinsk has pushed new remote branch:

bug-18590-LowercaseMITKDirectoryForExternalWhitelists
kislinsk added a subscriber: kislinsk.Jan 7 2015, 2:25 PM

[53548c]: Merge branch 'bug-18590-LowercaseMITKDirectoryForExternalWhitelists'

Merged commits:

2015-01-07 14:18:04 Stefan Kislinskiy [45d1f5]
Change external directory from .MITK to .mitk.

MITK · MIC · IMSY · DKFZ