Merge pull request #236 from ocsigen/clean

Various small changes (MERGE ME FIRST siouplait)
ocsigen · Jun 7, 2024 · d48d577 · d48d577
2 parents 7b56b45 + 1d5cfd3
commit d48d577
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,4 @@ doc/api-html
 doc/api-wiki
 _opam
 _build
+.vscode
diff --git a/src/baselib/commandline/ocsigen_getcommandline.mli b/src/baselib/commandline/ocsigen_getcommandline.mli
diff --git a/src/baselib/nocommandline/ocsigen_getcommandline.mli b/src/baselib/nocommandline/ocsigen_getcommandline.mli
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,3 +9,4 @@ doc/api-html @@
     doc/api-wiki
     _opam
     _build
+    .vscode