Merge pull request #66 from davidgiven/dtrg-warnings
authorDavid Given <dg@cowlark.com>
Sun, 19 Nov 2017 10:39:45 +0000 (11:39 +0100)
committerGitHub <noreply@github.com>
Sun, 19 Nov 2017 10:39:45 +0000 (11:39 +0100)
commitfb90b7b8d83b52d18afa564811f002a16191b817
tree7ccb719b399ac632e315ae42877f756b1326cc0b
parentcaa9df54492f9917bd0fac74157af28e309c7700
parent0e020132f8a81be70f6ba8841a183caec44d29e5
Merge pull request #66 from davidgiven/dtrg-warnings

lang/basic/lib: fewer warnings