diff options
author | Liviu Prodea <[email protected]> | 2018-10-24 11:08:35 +0100 |
---|---|---|
committer | Jose Fonseca <[email protected]> | 2018-10-24 11:10:17 +0100 |
commit | d99fda17c8318af96158edc18f7532f049b4304e (patch) | |
tree | 05e2e994f502f8d0dfed57e8ca567cd216f62adf /include/c11/.editorconfig | |
parent | 6c56c1fbd43e4f45c55684e5e2650a9cee4c5ba6 (diff) |
scons: Put to rest zombie texture_float build option.
I found a remnant of texture_float build option that wasn't removed in
commit 66673bef941af344314fe9c91cad8cd330b245eb
This patch removes it.
Cc: [email protected]
Reviewed-by: Jose Fonseca <[email protected]>
Diffstat (limited to 'include/c11/.editorconfig')
0 files changed, 0 insertions, 0 deletions