diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-09-13 20:16:13 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-09-13 20:16:13 -0400 |
| commit | 816aa29b799132acb8c71d4968df6c4619fb2b1d (patch) | |
| tree | e35a890d70e5deeb1a2edff90c3d093b23f60526 | |
| parent | aa0c16f91913c32cab0cb09dd0863b2e077a786a (diff) | |
Deleting unused file
| l--------- | include/tomo | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/tomo b/include/tomo deleted file mode 120000 index ee3780d7..00000000 --- a/include/tomo +++ /dev/null @@ -1 +0,0 @@ -../builtins
\ No newline at end of file |