ahamilton/eris
1
0
Fork 0
Code Releases Activity

Changes for ubuntu-17.04

Browse source
This commit is contained in:
Andrew Hamilton 2017-04-12 10:37:18 +02:00
parent bdc8b8c0f4
commit 4d3d0c52bf
4 changed files with 4 additions and 5 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 --- 04 Sep 2016
Splint 3.1.2 --- 01 Dec 2016
Finished checking --- no warnings