Christian Lindig 3145c3f77d Update OPTIONS section in utop manual page ... Point to utop --help for the list of options and explain --require in particular. Signed-off-by: Christian Lindig <christian.lindig@citrix.com>		2021-11-30 14:42:34 -05:00
..
dune	port build from jbuilder to dune	2019-01-15 09:50:54 +00:00
utop-full.1	install utop-full with access to compiler libraries	2012-07-31 17:09:40 +02:00
utop.1	Update OPTIONS section in utop manual page	2021-11-30 14:42:34 -05:00
utoprc.5	Update docs to refer to .config/utop/init.ml	2020-03-18 11:01:23 +08:00