change default repo layout

2023-10-13 22:24:17 +02:00 · 2023-10-13 22:24:17 +02:00 · d86778ebad
commit d86778ebad
parent 5ec4e46a18
3 changed files with 1 additions and 0 deletions
--- a/build/.gitignore
+++ b/build/.gitignore
@ -0,0 +1 @@
+ct
--- a/src/ct.c
+++ b/src/ct.c
--- a/src/ct.h
+++ b/src/ct.h