15 Apr
2013
15 Apr
'13
12:14 p.m.
On Mon, Apr 15, 2013 at 5:48 AM, Jan Marten Simons
I integrated it into the wiki. Should we remove this fle from the source tree and replace it with a link to the wiki?
No, please leave it! It's great that we have a wiki, but I don't think that should happen at the expense of existing plain-text documentation, especially when the latter is easily bundled with the actual code. -Nat