From a0e5b6c76132f1aa9bc0b84b72387b264b8c5233 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 3 Nov 2014 09:52:03 -0500 Subject: [PATCH 1/1] doc: remove advanced_options (deprecated by manpages) Signed-off-by: Jean Privat --- doc/advanced_options | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 doc/advanced_options diff --git a/doc/advanced_options b/doc/advanced_options deleted file mode 100644 index 814f81b..0000000 --- a/doc/advanced_options +++ /dev/null @@ -1,5 +0,0 @@ -* GC ************************************************************************** - -Nit programs can dynamically select a GC at runtime. Just set NIT_GC_OPTION envvar. -Set it to "help" to list available GC at the begin of the program. - -- 1.7.9.5