diff options
author | Ben Sima <ben@bsima.me> | 2025-01-21 04:39:07 -0500 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2025-01-21 05:05:18 -0500 |
commit | 640ac096ea41f54b9f2a267c6982bdd32e82e393 (patch) | |
tree | bfddfa958478cc08ef2e47dae512639decceca67 /Omni/Ide/hooks | |
parent | fd1942057642098d0ec2878586d33e9c79483848 (diff) |
Add main block back to Repl.py
Contra d2edf150cf2c876971383a4a484f289ce7e7f680, this module is the one place
that I do need the stupid __main__ thing.
Diffstat (limited to 'Omni/Ide/hooks')
0 files changed, 0 insertions, 0 deletions