1 Aug
2012
1 Aug
'12
7:26 p.m.
On Wed, 1 Aug 2012, Marco Patzer wrote:
On 2012-08-01 Aditya Mahajan
wrote: The dev version on github now includes a margin key,
Does it? I just can see a new test file in the recent commit history (without margin key, however). Did you already push the changes to the public repo?
You are right. Pushed this time. Aditya