[m-dev.] referenced papers
matthias at guedemann.org
Mon Aug 24 17:11:45 AEST 2015
>> If anything, it should be a new git repository, e.g. "papers".
I think an additional 'papers' repository on github would be a good
idea (maybe using 'git-annex' ?), in case of a problem, it would be
easier to remove a paper from there than from the main repository.
> Aren't all the papers already in the www repository?
I think the idea is to include external papers from other groups.
More information about the developers