Preserve user comments in bib file#1471
Merged
lenhard merged 38 commits intomaster from preserve-commentsJul 14, 2016
+438-152
Commits
Commits on Jun 8, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 14, 2016
- committed
- committed
- committed
Commits on Jul 8, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 13, 2016
- committed
- committed
- committed
- committed
Commits on Jul 14, 2016
- committed
- committed
- committed
- committed
- committed
- committed