summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorP. 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)
commit89d79227a5633eb1fcfe12e2a2edbb54611f5e38 (patch)
tree19d591ec131e16865d960db2d964b5757cc82d70 /.gitignore
parentc197a34e253b414349a8b75b7944923e02f3e893 (diff)
ppt-make: Do basic validation on platform names
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions