diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 31a54d668dd398db58b4e8450ecbd08a6cb1e620..be54e37a3dc0c73d4d706c57e79d045741616754 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -1316,6 +1316,7 @@ src/plugins/studia/writes.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/users/Users.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/users/users_register.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/users/users_register.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/value/.merlin: .ignore src/plugins/value/Changelog_non_free: .ignore src/plugins/value/Eva.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY diff --git a/src/plugins/value/.merlin b/src/plugins/value/.merlin new file mode 100644 index 0000000000000000000000000000000000000000..4a78234301d143f5fd80e27a0a5e2fcc90106c19 --- /dev/null +++ b/src/plugins/value/.merlin @@ -0,0 +1,5 @@ +B ./** +S ./** +B ../value_types/** +S ../value_types/** +REC