diff options
| author | Franklin Wei <git@fwei.tk> | 2017-04-30 19:13:13 -0400 |
|---|---|---|
| committer | Franklin Wei <git@fwei.tk> | 2017-04-30 19:13:13 -0400 |
| commit | cce3adb1798a059a85c3cdecf99016e9b6da3897 (patch) | |
| tree | 13da8177496fb39a03a1fa8ceb578805d9b5ebce /apps | |
| parent | ecd7c72254d80369e1ee1745e7b2d28fdffd8562 (diff) | |
add fake stdio.h
Change-Id: Iec6159b095b29b5ffb3ef5a46d068012fbe10f00
Diffstat (limited to 'apps')
| -rw-r--r-- | apps/plugins/puzzles/dummy/stdio.h | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/apps/plugins/puzzles/dummy/stdio.h b/apps/plugins/puzzles/dummy/stdio.h new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/apps/plugins/puzzles/dummy/stdio.h |