Roberto Ierusalimschy 6875fdc8be new semantics for pushuserdata (no more different userdatas with same value)

2001-02-09 17:53:16 -02:00

8.2 KiB

Raw Blame History

View Raw