mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-06 00:45:32 +00:00
Turns KeymanDeveloperProjectFile into an interface, and removes redundant data in filename and fileType fields, calculating these from filePath instead. Maintains separate KeymanDeveloperProjectFile10 and KeymanDeveloperProjectFile20 classes implementing the base interface for now, although that may be a target for future consolidation (lowpri). |
||
|---|---|---|
| .. | ||
| src | ||
| .gitignore | ||
| build.sh | ||