diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2015-02-16 23:57:15 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2015-02-16 23:57:15 +0100 |
| commit | 5668ab3a49d5ebfce8952615ead75b0d98a28e2f (patch) | |
| tree | 955d81d5be0b3e60d12a2f19f0fe39cd3a662f40 /tools/detect | |
| parent | 0ee97a18b956093e800cbcefdd8579f34f775f77 (diff) | |
| parent | 5a9ba3469408dd235e3bf18439fba2a290efd799 (diff) | |
| download | Nim-5668ab3a49d5ebfce8952615ead75b0d98a28e2f.tar.gz | |
Merge pull request #2091 from PhilipWitte/devel
Various website fixes (banner, icons, css, articles)
Diffstat (limited to 'tools/detect')
0 files changed, 0 insertions, 0 deletions