diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-31 15:14:24 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-31 15:14:24 -0500 |
| commit | fc183307c2b0a05719056f022ea6d4c8385ead41 (patch) | |
| tree | 372b629d794698dfe27fd5138acb771942a59c5b /Makefile.in | |
| parent | 21678b3f280cd85961e3354faecc29aab4819de4 (diff) | |
Protect against NULL applications in a few places
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions