rik/nanopb
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename poorly named identifier to avoid name conflicts.

Browse Source 
Update issue 106
Status: FixedInGit
This commit is contained in:
Petteri Aimonen
2014-08-18 21:11:10 +03:00
parent 62b4a8ecaa
commit be0b9e047a
7 changed files with 66 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests/splint/splint.rc
View File

@@ -2,7 +2,6 @@
+partial
+matchanyintegral
+strictlib
-isoreserved # to be fixed in 0.3
-nullassign
-predboolint
-predboolptr