diff options
| author | Brian Dawn | 2021-06-05 17:12:08 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-06 01:49:17 +0000 |
| commit | f3db12e240868796257b9e57c5e39eb404723985 (patch) | |
| tree | f7f0540411c4754817bfd45a1b9c15095010a009 /.gitignore | |
| parent | 676719b3614f6b3d2c97105e70a436f81ebfaa7b (diff) | |
Simplify the load_runtime_file code.
Reduce the number of feature switches for the embed_runtime feature.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions