diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-09-06 13:19:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-06 13:19:56 +0200 |
| commit | 7f31c0822477707bec5423d41fffc8b10463024b (patch) | |
| tree | 8a8d93ddacd8b42a5dfb21766263d0e77e8b0df5 /doc/manual/src/language/builtin-constants.md | |
| parent | 089f5841733db46e18f2b3b109105dd759ede9bd (diff) | |
| parent | 3fca5f6c693179a2b49add54166b1a126c755264 (diff) | |
Merge pull request #7002 from tweag/reset-timestamps-in-installer
Installer: Reset the timestamps in the tarball
Diffstat (limited to 'doc/manual/src/language/builtin-constants.md')
0 files changed, 0 insertions, 0 deletions