diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2016-11-01 09:44:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-01 09:44:44 +0100 |
commit | d4c35da4700c1d2de4dc18e18b065b9b0108835a (patch) | |
tree | a2c64111f6204649abb841d471a4e84934cdc2ad /lib | |
parent | 88ac25c3d93543c57ca7a4a4c32701a1e736fc00 (diff) | |
parent | 456b3d32314f36555fecd65f93cf75ba93abddf2 (diff) | |
download | Nim-d4c35da4700c1d2de4dc18e18b065b9b0108835a.tar.gz |
Merge pull request #4979 from singularperturbation/doc_ptr
(minor) Doc change for #3130
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions