C?dric Krier 7e12813762 Do not store host/port split ... There is a mismatch between how the profiles are stored. Sometimes the host contains the port and sometimes not. So we rationalize this by removing the storage of the port and always store the full host as the user type it. issue6595 review36421002		2017-07-12 20:00:59 +02:00
..
window	Do not store host/port split	2017-07-12 20:00:59 +02:00
__init__.py	Fix most flake8 errors	2014-12-03 16:04:19 +01:00
main.py	Do not store host/port split	2017-07-12 20:00:59 +02:00