xdrm-brackets 80e0fcc0c1 [update] `historyDefault/search` and `history/search` (using username and machine name)		2017-07-29 18:45:24 +02:00
..
core	fix	2017-05-12 22:41:57 +02:00
repo	[update] `historyDefault/search` and `history/search` (using username and machine name)	2017-07-29 18:45:24 +02:00