summaryrefslogtreecommitdiff
path: root/doc/paper/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2021-04-08Repo re-org: move doc/paper to top leveljaseg1-10/+0
2021-03-15Repo re-org: rename paper dirjaseg1-0/+10