diff options
| author | Roberto I <roberto@inf.puc-rio.br> | 2025-09-18 11:03:55 -0300 |
|---|---|---|
| committer | Roberto I <roberto@inf.puc-rio.br> | 2025-09-18 11:03:55 -0300 |
| commit | 0cc3c9447cca9abae9738ee77c24d88801c3916c (patch) | |
| tree | 066cb532a7df2ab34931a3c75b83bdfbc6b19491 /manual/manual.of | |
| parent | 8fb1af0e33cd8688f57cd0e3ab86420a8cfe99bd (diff) | |
| download | lua-0cc3c9447cca9abae9738ee77c24d88801c3916c.tar.gz lua-0cc3c9447cca9abae9738ee77c24d88801c3916c.tar.bz2 lua-0cc3c9447cca9abae9738ee77c24d88801c3916c.zip | |
Small tweaks in makefile
Diffstat (limited to 'manual/manual.of')
0 files changed, 0 insertions, 0 deletions