Merge pull request #108 from davidgiven/dtrg-warnings
authorDavid Given <dg@cowlark.com>
Sat, 23 Jun 2018 23:00:30 +0000 (01:00 +0200)
committerGitHub <noreply@github.com>
Sat, 23 Jun 2018 23:00:30 +0000 (01:00 +0200)
commit47bdd9cc491a31207e4d25aa32eb5a68e7e00bf0
tree92959db41929f2ef237ab9811ee1eabd7f04bd9f
parenta6742a7d5590c14afffc627f78bb62b8c0399471
parent1702d873ea1e60f6b223d467c189f5e97da3d398
Merge pull request #108 from davidgiven/dtrg-warnings

Warning-fix and protoise the basic library.