diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-22 09:56:58 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
commit | 215e598943d19b675903fce5733d1a7940f24d61 (patch) | |
tree | 48b1098f9a934da7f63179249b3d24474085c0dd /.gitignore | |
parent | 66304bcb5b8809ab8d4fc8429601550c50195671 (diff) |
fix avoid web rendering of ontology overwriting ontology source files
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions