diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2015-07-11 15:46:13 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2015-07-11 15:46:13 +0000 |
| commit | df609a3e662ab54f48087627fcbc6ba2083d0941 (patch) | |
| tree | cd301ef6ae78351a9fd700ce29df1bf032856bf2 /os | |
| parent | 36a41985852d8868c2e4915924c8984b6e3bd857 (diff) | |
| download | ChibiOS-df609a3e662ab54f48087627fcbc6ba2083d0941.tar.gz ChibiOS-df609a3e662ab54f48087627fcbc6ba2083d0941.tar.bz2 ChibiOS-df609a3e662ab54f48087627fcbc6ba2083d0941.zip | |
Changed a pclint option.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8079 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os')
0 files changed, 0 insertions, 0 deletions