diff options
| author | Mahmoud <[email protected]> | 2019-07-18 17:41:58 -0400 |
|---|---|---|
| committer | Mahmoud <[email protected]> | 2019-07-18 17:41:58 -0400 |
| commit | e5e8fd34aa037aa510fa3936fa133f6b345e1825 (patch) | |
| tree | ff7636f3a9081e79b1dd7145989a17c10989b907 /Makefile | |
| parent | 0a8eb0f68d4ad22a9be6fc1445edf56e03829d7e (diff) | |
increase the tex cache in Volta
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions