mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-07 01:06:54 +08:00
Fix formatting (tabs vs spaces) in divide/0 protection
This commit is contained in:
parent
440ceeebbb
commit
de09489355