Files
ToneAPI_webclient/publish.cmd
T
2023-03-28 22:21:26 +02:00

4 lines
100 B
Batchfile

npm run build
git add dist -f
git commit -m 'publish'
git subtree push --prefix dist origin gh-pages