Skip to content
Snippets Groups Projects
Commit 93d1c5d3 authored by Michele Alberti's avatar Michele Alberti
Browse files

[Server] Better name for the service.

parent 3c0c8852
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/server/kernel_project.ml
+ 2
− 2
View file @ 93d1c5d3
...@@ -127,8 +127,8 @@ let () = Request.register ~page ...@@ -127,8 +127,8 @@ let () = Request.register ~page
let () = let () =
Request.register Request.register
~kind:`GET ~kind:`GET
~page ~name:"kernel.project.getSourceFiles" ~page ~name:"kernel.project.getSourceFileNames"
~descr:(Md.plain "Get the files of the current project") ~descr:(Md.plain "Get the source file names of the current project")
~input:(module Junit) ~output:(module Jstring.Jlist) ~input:(module Junit) ~output:(module Jstring.Jlist)
Kernel.Files.get Kernel.Files.get
......
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