diff options
| author | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-12-09 17:16:48 +0100 |
|---|---|---|
| committer | Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl> | 2016-12-09 17:17:03 +0100 |
| commit | 59ee208239f77eee663bc688ce48c7a80b583d8d (patch) | |
| tree | 0df4e84731019a1e802d04ecf93599af0ec130f7 /include | |
| parent | 472758f3b13844b3c9d6488a9359a62559443da8 (diff) | |
Mention VS redistributable
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions