diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-04-17 19:25:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 19:25:06 +0200 |
| commit | c56705c025a018950ea275432c8795afb3bd4d67 (patch) | |
| tree | 90b2080876965fd800aba469e78ece9800102f4b /src/libexpr/primops.hh | |
| parent | 3f9589f17e9e03aeb45b70f436c25227c728ba51 (diff) | |
| parent | 2c8475600d16e463a9c63aa76aee9f6152128f14 (diff) | |
Merge pull request #8194 from obsidiansystems/redisplay-feature-gated-settings
Fix some issues with experimental config settings
Diffstat (limited to 'src/libexpr/primops.hh')
0 files changed, 0 insertions, 0 deletions