Skip to content

fluentverification/Former-Website

Repository files navigation

FLUENT Verification Project Website

In order to edit the website locally, do the following:

git clone https://github.com/fluentverification/fluentverification.github.io.git
edit index.html with favorite html browser
git checkout -b <branchName>
git status 
git add index.html
git commit 
Add your commit message
git push --set-upstream origin <branchName>
git checkout master
git pull

Repeat above for next change