ahamilton/eris
1
0
Fork 0
Code Releases Activity

Changes for ubuntu 16.10.

Browse source
This commit is contained in:
Andrew Hamilton 2016-10-15 12:47:15 +02:00
parent 99fa974b56
commit c6610c77b8
8 changed files with 37 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

2
golden-files/results/splint-hello_h
View file

@ -1,3 +1,3 @@
Splint 3.1.2 --- 03 May 2009
Splint 3.1.2 --- 04 Sep 2016
Finished checking --- no warnings