changeset 62:8cc44b7f597e

Remove obsolete bin/
author Lewin Bormann <lbo@spheniscida.de>
date Sat, 23 Dec 2023 14:14:34 +0100
parents fa1cb983ecee
children f2355e1a8e8c
files 2023/bin/day01.ml 2023/bin/dune 2023/bin/main.ml
diffstat 3 files changed, 0 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/2023/bin/day01.ml	Fri Dec 22 21:38:50 2023 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-
--- a/2023/bin/dune	Fri Dec 22 21:38:50 2023 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-(executable
- (public_name aoc23)
- (name main)
- (libraries aoc23))
-
--- a/2023/bin/main.ml	Fri Dec 22 21:38:50 2023 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-let () = print_endline "Hello, World!"