xdrm-brackets d30ec35636 Now history.view.search searches through users+machines (as on its views) + TODO: manage space separated keywords		2017-11-13 12:17:26 +01:00
..
core	fix	2017-05-12 22:41:57 +02:00
repo	Now history.view.search searches through users+machines (as on its views) + TODO: manage space separated keywords	2017-11-13 12:17:26 +01:00