We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
We provide a shell script ide.sh to ease the process for you.
ide.sh
./ide.sh build # transpile and pack the frontend to webjars ./ide.sh run # start the backend server
Server runs on port 8080 by default, visit localhost:8080 to check it out.
中文
English
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル