rename type "userdata" to "java"

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

rename type "userdata" to "java"

fschmidt
Administrator
I want to rename type "userdata" to "java", okay?
Woe to those who call bad good and good bad -- Isaiah 5:20
Following the Old Testament, not evil modern culture
Reply | Threaded
Open this post in threaded view
|

Re: rename type "userdata" to "java"

Hugo <Nabble>
Administrator
ok
Reply | Threaded
Open this post in threaded view
|

Re: rename type "userdata" to "java"

fschmidt
Administrator
done in rev 0dfc01d8d42d, closing
Woe to those who call bad good and good bad -- Isaiah 5:20
Following the Old Testament, not evil modern culture