ahamilton/eris
1
0
Fork 0
Code Releases Activity

Made it work on Ubuntu 18.04.

Browse source
This commit is contained in:
Andrew Hamilton 2018-03-16 11:31:20 +10:00
parent ddd139f69f
commit 2454af45a2
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,3 +1,3 @@
Splint 3.1.2 --- 01 Dec 2016
Splint 3.1.2 --- 20 Feb 2018
Finished checking --- no warnings