git://git.onelab.eu / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8011a9a) | patch
pull manifold from the onelab mirror instead
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 16:11:44 +0000 (18:11 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 16:11:44 +0000 (18:11 +0200)
commit7803898dac27c3d9864e1027769ebb64871d7234
treeb7a5a8a57e899686cb7b1278e91d4453e39a1ecatree | snapshot
parent8011a9aca567bdf310b52b6944b9a82e69d089ddcommit | diff
pull manifold from the onelab mirror instead
onelab-tags.mk diff | blob | history
build