Diff

tools/migration/migrator.cfg.lua @ 7828:b4a08a514ebc

util.ringbuffer: Allocate buffer itself as part of userdata (simpler, single allocation, no need for __gc)
author Kim Alvefur <zash@zash.se>
date Sun, 22 Jan 2017 09:23:10 +0100
parent 4211:9a12fc2baa37
child 10003:4d702f0c6273
line wrap: on
line diff