diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-27 14:36:07 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-27 14:36:07 +0100 |
| commit | e66da801c12ee63e4e847d6ba531a0aefc4b8ad6 (patch) | |
| tree | b6d0342a8f2a40d9ea2767a7932a2bde2ce56e61 /src/include/platform.h | |
| parent | 201d9e315ae2ef07a83b4b86860b2411a3e58062 (diff) | |
Temporarily exclude critical test.
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions