5 Commits (fb0817277f27655c04cb83d58ca71532bf137980)

Author	SHA1	Message	Date
Alexander Medvednikov	3344111a03	minor fixes and cleaning up	2020-01-04 00:06:06 +01:00
Charles WANG	7a031d5e23	update and rename ui_win.v to ui_windows.v	2020-01-02 18:09:09 +01:00
Charles WANG	166dc28480	update ui_linux.v: module ui to `uiold`	2020-01-02 18:08:54 +01:00
Alexander Medvednikov	807c16dd1b	uiold fixes	2020-01-01 13:27:21 +01:00
Alexander Medvednikov	e8bbb00bde	ui is in a separate repo for now, rename it to avoid conflicts	2020-01-01 13:14:01 +01:00