diff options
Diffstat (limited to 'aoc2023/build/dev/erlang/glint/include/glint_Config.hrl')
| -rw-r--r-- | aoc2023/build/dev/erlang/glint/include/glint_Config.hrl | 4 |
1 files changed, 0 insertions, 4 deletions
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()) -}). |