diff options
| author | Dominik Picheta <dominikpicheta@googlemail.com> | 2018-08-14 00:09:08 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-08-14 01:09:08 +0200 |
| commit | feda366d86e723ff1877a1751cb3eadde8b00cb0 (patch) | |
| tree | e7a80a67fb98e7a3c34d9e290cba1965fea46ddf /lib/deprecated/pure | |
| parent | aa1cdebdc206857902081b4862dad2c2990179e8 (diff) | |
| download | Nim-feda366d86e723ff1877a1751cb3eadde8b00cb0.tar.gz | |
Adds get for Option[T]. (#8462)
Diffstat (limited to 'lib/deprecated/pure')
0 files changed, 0 insertions, 0 deletions