diff options
| author | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-01 09:33:46 -0300 |
|---|---|---|
| committer | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-01 09:33:46 -0300 |
| commit | 8f45be3b0ddab6e6fd6ce8aed99e921871e9961b (patch) | |
| tree | c8c4803650eb9aac3f29e5e47ffef9b0d8f22ee1 /Makefile | |
| parent | aaeea79c5bd531bd493aec09bd4eed0ac0ea59df (diff) | |
| download | jet-8f45be3b0ddab6e6fd6ce8aed99e921871e9961b.tar.gz jet-8f45be3b0ddab6e6fd6ce8aed99e921871e9961b.zip | |
Inline page_is_full and delete page_is_empty
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions