diff options
| author | Jeroen Bakker <jeroen@blender.org> | 2022-02-09 13:44:14 +0300 |
|---|---|---|
| committer | Jeroen Bakker <jeroen@blender.org> | 2022-02-09 13:44:14 +0300 |
| commit | 312c8fdaf927421e697da0185360240bafd64a4b (patch) | |
| tree | 7b244a189b6c59f19caae0c7e04378ff83ce012d /release/scripts/addons | |
| parent | bfacb22a937dcfdfef9aa5926805e0a693231eff (diff) | |
Cleanup: Better naming in lib_remap.
Renames is_never_null to violates_never_null.
Diffstat (limited to 'release/scripts/addons')
| m--------- | release/scripts/addons | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/release/scripts/addons b/release/scripts/addons -Subproject faa9fc7f98e19be54a715c24061185b04dff5b6 +Subproject e1d44bf37501eb19a057777bd0b0ba448477353 |