![](https://secure.gravatar.com/avatar/df3f4651922ada2c9276482c8c6981b6.jpg?s=120&d=mm&r=g)
17 Sep
2016
17 Sep
'16
2:22 p.m.
------------------------------------------------------------------------ r6135 | luigi | 2016-09-17 17:04:10 +0200 (Sat, 17 Sep 2016) | 1 line Changed paths: M /branches/experimental/source/texk/web2c/mplibdir/mp.w comment for a patch for metapost ------------------------------------------------------------------------
2870
Age (days ago)
2870
Last active (days ago)
0 comments
1 participants
participants (1)
-
root@ntg.nl