Update devtools.py: add case-insensitive and flexible command triggers for userbot devtools abc89fd taslim19 commited on Jun 27
