diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-07-17 10:27:03 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-07-17 10:27:03 (EDT) |
| commit | 89d79227a5633eb1fcfe12e2a2edbb54611f5e38 (patch) | |
| tree | 19d591ec131e16865d960db2d964b5757cc82d70 /.gitignore | |
| parent | c197a34e253b414349a8b75b7944923e02f3e893 (diff) | |
ppt-make: Do basic validation on platform names
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions