diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-03-10 20:50:43 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-03-10 20:51:35 +0100 |
| commit | 8bad05892517601c7161b34a5ab775290d254938 (patch) | |
| tree | d22a161d17165cf0ff0beb8d9292f520d702136f /other/pragmas.cpp | |
| parent | cd870938f6cf266292e0e5cecb2d96d604b2ad9d (diff) | |
| parent | db64838afe7f333d45f3c76c8e72aea89ccbf52a (diff) | |
Merge mzuenni changes
Diffstat (limited to 'other/pragmas.cpp')
0 files changed, 0 insertions, 0 deletions