The beginnings of a script to help finding / operators that may need
to be change to //. The code is pretty gross so far, and I promise I'll work on this more, but I have to go eat now! :-)
Showing
Tools/scripts/fixdiv.py
0 → 100755
Please register or sign in to comment