From 6156a9ef7be4012063a042aafb4e9b0d7eadde8e Mon Sep 17 00:00:00 2001 From: "H.J" Date: Wed, 9 Oct 2024 11:35:09 -0400 Subject: cleanup --- aoc2023/build/dev/erlang/glint/include/glint_Config.hrl | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 aoc2023/build/dev/erlang/glint/include/glint_Config.hrl (limited to 'aoc2023/build/dev/erlang/glint/include/glint_Config.hrl') diff --git a/aoc2023/build/dev/erlang/glint/include/glint_Config.hrl b/aoc2023/build/dev/erlang/glint/include/glint_Config.hrl deleted file mode 100644 index 70cf645..0000000 --- a/aoc2023/build/dev/erlang/glint/include/glint_Config.hrl +++ /dev/null @@ -1,4 +0,0 @@ --record(config, { - pretty_help :: gleam@option:option(glint:pretty_help()), - name :: gleam@option:option(binary()) -}). -- cgit v1.2.3