diff options
| author | NunoSempere <nuno.sempere@protonmail.com> | 2023-03-28 11:19:55 -0600 |
|---|---|---|
| committer | NunoSempere <nuno.sempere@protonmail.com> | 2023-03-28 11:19:55 -0600 |
| commit | 37e3e7bcae746be58d65102610efb0efb121e8df (patch) | |
| tree | 8f7eea18cf6dba20d47812bfaf307119bcb68caa /user-scripts/valgrind-notes.md | |
| parent | bbcf1dabd26bb4e93aa4780d1771c3b449c068ec (diff) | |
tweak: delete config.def.h
it's a bit redundant, and no longer necessary once compatibility
with the original rose is no longer a goal
Diffstat (limited to 'user-scripts/valgrind-notes.md')
0 files changed, 0 insertions, 0 deletions