summaryrefslogtreecommitdiff
path: root/ot/lp
diff options
context:
space:
mode:
authorNicolas Courty <Nico@MacBook-Pro-de-Nicolas.local>2017-09-13 01:03:21 +0200
committerNicolas Courty <Nico@MacBook-Pro-de-Nicolas.local>2017-09-13 01:03:21 +0200
commit84c272394d41d159d07174306b324590b3ffe40c (patch)
treecda14e19f03f3f5a2038060b35cc4bb3ba83c0a9 /ot/lp
parent24784eda59cf591746bf4ba62f325c5612ada430 (diff)
Corrections on Gromov
Diffstat (limited to 'ot/lp')
0 files changed, 0 insertions, 0 deletions