aboutsummaryrefslogtreecommitdiff
path: root/gramlib
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2019-02-05 15:53:55 +0100
committerPierre-Marie Pédrot2019-02-05 15:53:55 +0100
commit38b1682ee6b6342ca582bac4e658f7d1c3919de4 (patch)
treec22a2690095ed66a086ebf6848e039c4ef4b7620 /gramlib
parent9d3394cbc37be3ad8b4fbd32d32c193a55368196 (diff)
parentf7148d56b17ee7d06cac26392c85f3b8c7cbd974 (diff)
Merge PR #9438: Cleanup universe length for inductives in vconv
Ack-by: SkySkimmer Reviewed-by: ppedrot
Diffstat (limited to 'gramlib')
0 files changed, 0 insertions, 0 deletions