diff options
| author | Benoit Germain <bnt.germain@gmail.com> | 2018-11-15 11:20:14 +0100 |
|---|---|---|
| committer | Benoit Germain <bnt.germain@gmail.com> | 2018-11-15 11:20:14 +0100 |
| commit | 01f83215a2ad235fbf306f591c6c0547b1bb7047 (patch) | |
| tree | 51d1edff1c3f684bac388c64d91ee30d8f6fbbf2 /src/tools.c | |
| parent | 55acf8e19728ac39581c35f1324debf9449bd185 (diff) | |
| download | lanes-01f83215a2ad235fbf306f591c6c0547b1bb7047.tar.gz lanes-01f83215a2ad235fbf306f591c6c0547b1bb7047.tar.bz2 lanes-01f83215a2ad235fbf306f591c6c0547b1bb7047.zip | |
Deep userdata must embed DeepPrelude to save an allocation (also changes Deep protocol)
Diffstat (limited to 'src/tools.c')
0 files changed, 0 insertions, 0 deletions