diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
| commit | 85ce956f28fd9715d1c943a9f02e5fdde00d2d01 (patch) | |
| tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /src/c/Makefile.in | |
| parent | 236387604322b81260110f93be57762eac3ef20b (diff) | |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'src/c/Makefile.in')
0 files changed, 0 insertions, 0 deletions