Skip to content
Snippets Groups Projects
Commit 7663546b authored by Thibault Martin's avatar Thibault Martin Committed by Andre Maroneze
Browse files

[kernel] Remove some local emacs settings

parent 55f07157
No related branches found
No related tags found
No related merge requests found
...@@ -1270,9 +1270,3 @@ struct ...@@ -1270,9 +1270,3 @@ struct
label Format.(pp_print_list ~pp_sep:pp_print_cut print_one_elt) l label Format.(pp_print_list ~pp_sep:pp_print_cut print_one_elt) l
end end
(*
Local Variables:
compile-command: "make -C ../../.."
End:
*)
...@@ -512,11 +512,3 @@ val treat_deferred_error: unit -> unit ...@@ -512,11 +512,3 @@ val treat_deferred_error: unit -> unit
- after each analysis step (as separated by -then and its derivatives), - after each analysis step (as separated by -then and its derivatives),
including the last one. including the last one.
*) *)
(**/**)
(*
Local Variables:
compile-command: "make -C ../../.."
End:
*)
...@@ -778,9 +778,3 @@ struct ...@@ -778,9 +778,3 @@ struct
include Plugin_log include Plugin_log
end (* Register *) end (* Register *)
(*
Local Variables:
compile-command: "make -C ../../.."
End:
*)
...@@ -198,11 +198,3 @@ val config_ref: (unit -> Filepath.Normalized.t) ref ...@@ -198,11 +198,3 @@ val config_ref: (unit -> Filepath.Normalized.t) ref
val state_is_set_ref: (unit -> bool) ref val state_is_set_ref: (unit -> bool) ref
val state_ref: (unit -> Filepath.Normalized.t) ref val state_ref: (unit -> Filepath.Normalized.t) ref
(**/**)
(*
Local Variables:
compile-command: "make -C ../../.."
End:
*)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment