diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-24 16:49:49 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-24 16:50:09 +0200 |
| commit | 83d1455250800ac8473b9803850dfc09b6d6b48f (patch) | |
| tree | d8709b2dcb2a3f14580764a4970e2c5b90c96e84 /ac | |
| parent | 532e83b475498c0a1090038c3bcdf623689a3dfc (diff) | |
Errata: Protégé
Diffstat (limited to 'ac')
0 files changed, 0 insertions, 0 deletions