• Phuntsok Drak-pa's avatar
    Reorganized repo · 271d5df2
    Phuntsok Drak-pa authored
    Now the source files only will be on the main branch, whereas the html and pdf
    files will be on the gh-pages branch.
    271d5df2