chiark / gitweb /
Merge pull request #146 from roboticslibrary/patch-pdb-install
authorJulien Schueller <schueller@phimeca.com>
Tue, 12 Sep 2017 12:11:58 +0000 (14:11 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Sep 2017 12:11:58 +0000 (14:11 +0200)
Install PDB file with debug information when using Visual Studio


Trivial merge