Skip to content
Snippets Groups Projects
Commit c943e196 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[server] state api & headers

parent db2afb46
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
headers/header_spec.txt
+ 2
− 0
View file @ c943e196
......@@ -1105,6 +1105,8 @@ src/plugins/server/server_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_batch.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_zmq.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/states.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/states.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/syntax.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/syntax.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/Scope.mli: CEA_LGPL_OR_PROPRIETARY
......
src/plugins/server/Makefile.in
+ 1
− 1
View file @ c943e196
......@@ -77,7 +77,7 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
##############
SERVER_API= \
doc.mli syntax.mli data.mli request.mli
doc.mli syntax.mli data.mli request.mli states.mli
define Capitalize
$(shell printf "%s%s" \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment