diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-08-02 16:54:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-02 16:54:02 +0200 |
| commit | d00469ebf94dba4ae30120c1ba36085ac20443b8 (patch) | |
| tree | 2beff78dabe4f4628a09748ce34cafc55fc9db9a /README.md | |
| parent | eea13d6ac5595b867e2ae7e6cb38bf091c88208b (diff) | |
| parent | 1570e80219df92461ede2a672f8997a013364f5c (diff) | |
Merge pull request #8762 from obsidiansystems/split-out-eval-settings
Move evaluator settings (type and global) to separate file/header
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions