[lint] empty files with an header

f5721a98 · Patrick Baudin · 66e84a8b · f5721a98 · f5721a98
Commit f5721a98 authored 2 years ago by Patrick Baudin
--- a/src/plugins/gui/debug_manager.ko.ml
+++ b/src/plugins/gui/debug_manager.ko.ml
@@ -20,3 +20,4 @@
 (*                                                                        *)
 (**************************************************************************)

+(* empty file *)
--- a/src/plugins/server/server_zmq.ko.ml
+++ b/src/plugins/server/server_zmq.ko.ml
@@ -20,3 +20,4 @@
 (*                                                                        *)
 (**************************************************************************)

+(* empty file *)