remove local variables from uTop_main.ml
Ignore-this: fec887057546e3d42782e2fb33a18bad darcs-hash:20121015080512-c41ad-c684ef7b334e14ab95b71b85eb827a0aee0d153a
This commit is contained in:
parent
98421358fd
commit
6574b1252e
|
@ -932,8 +932,3 @@ let main () =
|
|||
Printexc.print_backtrace stderr;
|
||||
flush stderr;
|
||||
exit 2
|
||||
|
||||
(* Local variables: *)
|
||||
(* utop-package-list: ("camomile" "lwt" "lwt.react" "lwt.syntax" "lambda-term" "zed") *)
|
||||
(* utop-ocaml-preprocessor: "camlp4o" *)
|
||||
(* End: *)
|
||||
|
|
Loading…
Reference in New Issue