https://github.com/ckaestne/TypeChef
Tip revision: 234aa1c66bb0999a5c1065e556e9bde9802ee3b5 authored by Christian Kästner on 07 September 2021, 13:51:45 UTC
fix github links
fix github links
Tip revision: 234aa1c
deployJar.sh
rm Frontend/target/*.jar
sbt assembly
cp TypeChef*.jar deploy
git checkout gh-pages
git add deploy/*.jar
git commit -m "deployed new .jar file"
git checkout master
