James Oswald 1d8555fe0b fix: help message flags, removes -f flag and adds -g flag (#5685) ... Closes #5682 - Removes the broken `-f` flag from the help message which doesn't behave as expected as an alternative to `--features`. - Adds the `-g` flag to the help message which is a working alternative to the `--githash` flag.		2024-10-13 06:37:09 +00:00
..
ascii.cpp
ascii.h
bit_tricks.cpp
bit_tricks.h
CMakeLists.txt	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
escaped.cpp
escaped.h
exception_with_pos.h
ffi.cpp	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
freset.h
init_module.cpp	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
init_module.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
io.h
kvmap.cpp
kvmap.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
lbool.cpp
lbool.h
list.h
list_fn.cpp
list_fn.h
macros.h
map_foreach.cpp
map_foreach.h
message_definitions.h
name.cpp	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
name.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
name_generator.cpp
name_generator.h
name_hash_map.h
name_hash_set.h
name_map.h
name_set.cpp
name_set.h
nat.h	perf: fix implementation of move constructors and move assignment ope… (#4700)	2024-08-02 17:55:03 +00:00
null_ostream.h
option_declarations.cpp
option_declarations.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
options.cpp
options.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
output_channel.h	chore: fix spelling mistakes in non-Lean files (#5430)	2024-09-23 21:11:20 +00:00
pair.h
path.cpp
path.h	fix: Windows needs more LEAN_EXPORTs	2024-08-12 14:14:42 +02:00
rb_map.h
rb_tree.h
rc.h
shell.cpp	fix: help message flags, removes -f flag and adds -g flag (#5685)	2024-10-13 06:37:09 +00:00
test.h
timeit.cpp
timeit.h
timer.cpp
timer.h
unit.h
unlock_guard.h