fermatslastmargin
fermatslastmargin copied to clipboard
Allow deletion of paper
I'd like to delete a paper in case of accidental addition or other reason.
The work around is to git rm the directory that holds the paper