diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-05-31 03:15:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-31 03:15:54 +0200 |
| commit | 738c0d506452cd51037ed4d37b3d0b665f828987 (patch) | |
| tree | 080818ce209ee73412ab29eed91f9d016bef0ee1 /src/nix/dump-path.cc | |
| parent | 52004696c080db6640af9a4e0d1e6f56d094cd2b (diff) | |
| parent | 6a5a8f51bb9773ab4aeac8f508872bcf5ec6fda2 (diff) | |
Merge pull request #8318 from fricklerhandwerk/doc-currentTime
document `builtins.currentTime`
Diffstat (limited to 'src/nix/dump-path.cc')
0 files changed, 0 insertions, 0 deletions