diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-02-19 11:41:50 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-02-19 11:41:50 +0100 |
| commit | 4de086aba7080160fbfa6dadf9d3c6329f04a6b5 (patch) | |
| tree | a0cfddf3741496c2beef6fbcf5003f675e2356bc /.gitignore | |
| parent | 243bdc6d8f8c92b6b6d6211fe6026afe5936ddbe (diff) | |
fix spelling of Protégé
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions