aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorLines
2020-04-28Fix favicon, compress the logoPedram Ashofteh Ardakani-245/+2
2020-04-28Put in the CSS filePedram Ashofteh Ardakani-0/+234
2020-04-28Fill indexPedram Ashofteh Ardakani-119/+162
2020-04-27Added a merge/pull request descriptionMohammad Akhlaghi-14/+67
2020-04-25Added two links to explain reproducibility and to the Git repoMohammad Akhlaghi-2/+2
2020-04-25Git URL in demo command now moved to git.maneage.orgMohammad Akhlaghi-2/+2
2020-04-24First commit, just a place holder until page is madeMohammad Akhlaghi-0/+351