Henrique Dias dde01c6931 Make search reload the dir after closing itself
Former-commit-id: e9774417ce7c29eded0158ef18535fcad57ddc8a [formerly 1a644e3fd8e191aee49a12a660069b39b38e2c0b] [formerly c371da590eb27fbcf290e56933b279ea75384cee [formerly 9453e22559d0eec8e7887b4a2dce31df4769622c]]
Former-commit-id: aba05b88f61352b6e6afb5bf9af8c033ac8ba310 [formerly d011d5ee10fa055bc3ea35889dddb968b476eb83]
Former-commit-id: c1138ce78249872f442646d26807140a94824e0b
2017-07-27 14:03:14 +01:00
..
2017-07-06 08:07:33 +01:00
2017-07-26 15:55:39 +01:00
2017-07-08 17:51:47 +01:00
2017-07-26 15:55:39 +01:00
2017-07-06 21:18:34 +01:00
2017-07-06 09:08:20 +01:00