##// END OF EJS Templates
set profile name from profile_dir...
set profile name from profile_dir in case profile_dir is set directly (e.g. in the notebook) closes #4238

File last commit:

r6446:74c10b3c
r14790:f257c73a
Show More
_sysinfo.py
2 lines | 36 B | text/x-python | PythonLexer
# GENERATED BY setup.py
commit = ""