> Guido> That's a longstanding nit: $OPT is used to specify some > Guido> standard things as well as giving you a hook to override. > Guido> I think we should introduce a separate variable. > > That makes good sense to me. For the purposes of backward > compatibility, I suppose we shouldn't change OPT as the variable > people set to tweak settings. I'll create a new BASEOPT variable > and submit a patch. OK! --Guido van Rossum (home page: http://www.python.org/~guido/)
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4