From 2b47b301cbf234eabfcebd28f069e5d154441354 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 13:22:47 -0500 Subject: test a org based readme --- bin/.#main.ml | 1 - 1 file changed, 1 deletion(-) delete mode 120000 bin/.#main.ml (limited to 'bin') diff --git a/bin/.#main.ml b/bin/.#main.ml deleted file mode 120000 index 5a91e42..0000000 --- a/bin/.#main.ml +++ /dev/null @@ -1 +0,0 @@ -mccd@void.21115:1715189760 \ No newline at end of file -- cgit v1.2.3