##// END OF EJS Templates
fix inappropriate str.replace in completer.expand_user...
fix inappropriate str.replace in completer.expand_user The replacement could catch extra matches, mangling the tilde_val. This uses slicing instead, to prevent multiple replacements. closes gh-869
MinRK -
r5201:2d607167
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / css
base.css Loading ...
boilerplate.css Loading ...
layout.css Loading ...
notebook.css Loading ...
projectdashboard.css Loading ...
renderedhtml.css Loading ...