##// END OF EJS Templates
Get history from sql....
Get history from sql. Fixes #13585 By getting history from sql we can get the transformed history. This also skip storing history if `%paste` is used and `%paste` itself will insert the pasted value in history which is more conveninent.

File last commit:

r27123:4a68e2c9
r27595:75b3d1cc
Show More
mypy.ini
4 lines | 82 B | text/x-ini | IniLexer
[mypy]
python_version = 3.8
ignore_missing_imports = True
follow_imports = silent