blob: cbbadf94c8772337a6489a2d0f636030e2a13d00 (
plain)
1
2
3
4
5
6
7
8
9
|
tree 6d717114344bb4744535e2966bbf5d0d99ddc6c0
parent e1a88be15bf5d0861cf0afc2466df4dba43bfae1
parent 9a66aa4a485db4dc972e37974748adb077fb3de1
author John MacFarlane <jgm@berkeley.edu> 1475054996 +0200
committer GitHub <noreply@github.com> 1475054996 +0200
Merge pull request #212 from greut/notes-server
Addition of notes-server option.
|
