From 7663546bbc27bba2406ddae9bc1f5b7859b2790d Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 18 Sep 2024 10:04:57 +0200
Subject: [PATCH] [kernel] Remove some local emacs settings
---
src/kernel_services/plugin_entry_points/log.ml | 6 ------
src/kernel_services/plugin_entry_points/log.mli | 8 --------
src/kernel_services/plugin_entry_points/plugin.ml | 6 ------
src/kernel_services/plugin_entry_points/plugin.mli | 8 --------
4 files changed, 28 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/log.ml b/src/kernel_services/plugin_entry_points/log.ml
index e7bc30058f8..2895345c468 100644
--- a/src/kernel_services/plugin_entry_points/log.ml
+++ b/src/kernel_services/plugin_entry_points/log.ml
@@ -1270,9 +1270,3 @@ struct
label Format.(pp_print_list ~pp_sep:pp_print_cut print_one_elt) l
end
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/log.mli b/src/kernel_services/plugin_entry_points/log.mli
index bff4b4c1ddd..581cbf3f481 100644
--- a/src/kernel_services/plugin_entry_points/log.mli
+++ b/src/kernel_services/plugin_entry_points/log.mli
@@ -512,11 +512,3 @@ val treat_deferred_error: unit -> unit
- after each analysis step (as separated by -then and its derivatives),
including the last one.
*)
-
-(**/**)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index 6b8cb519825..0175888fb30 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -778,9 +778,3 @@ struct
include Plugin_log
end (* Register *)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index ead0e265436..eb764eed432 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -198,11 +198,3 @@ val config_ref: (unit -> Filepath.Normalized.t) ref
val state_is_set_ref: (unit -> bool) ref
val state_ref: (unit -> Filepath.Normalized.t) ref
-
-(**/**)
-
-(*
-Local Variables:
-compile-command: "make -C ../../.."
-End:
-*)
--
GitLab