diff options
| author | ruki <[email protected]> | 2017-07-28 10:27:33 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-07-28 10:27:45 +0800 |
| commit | 222d8bbce334904d1a7cb3514d2655fe10b9fd35 (patch) | |
| tree | b5b8662d6bca7324c2ab6108b7bb1aa83d156d1b /tests/projects/precompiled_header_c++/src | |
| parent | c109f84c28886f553c949b64944e06e97d2387b4 (diff) | |
disable precompiled header for makefile plugin
Diffstat (limited to 'tests/projects/precompiled_header_c++/src')
0 files changed, 0 insertions, 0 deletions