diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-18T15·37+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-18T15·38+0100 |
| commit | 0c95776c3efdc63c4b957823d4e51d851a64ed84 (patch) | |
| tree | cb06e2336002f760ce0bba427f1c859e7a6ec4e6 /src/linenoise | |
| parent | 5647e55f65a69bfb4a44fb2dfb6d7fd870b4dd38 (diff) | |
Don't define builtins.{currentSystem,currentTime} in pure mode
This makes it easier to provide a default, e.g. system = builtins.currentSystem or "x86_64-linux";
Diffstat (limited to 'src/linenoise')
0 files changed, 0 insertions, 0 deletions