doc: update the dev doc

This commit is contained in:
Kevin Yue
2023-06-25 01:26:25 +08:00
parent 15e798c1e7
commit e5fd2ba280
2 changed files with 18 additions and 1 deletions

View File

@@ -6,6 +6,7 @@
"clientgpversion",
"clientos",
"gpcommon",
"gpgui",
"gpservice",
"Immer",
"jnlp",