diff options
| author | groud <gilles.roudiere@gmail.com> | 2018-09-18 14:02:59 +0200 |
|---|---|---|
| committer | groud <gilles.roudiere@gmail.com> | 2018-09-18 14:02:59 +0200 |
| commit | 76b2ae8dc684d86904a28eb6568f68b88a8d59be (patch) | |
| tree | fd5951c443ca54f4d5bd5374d7025f54f3eb4104 /platform/x11/os_x11.h | |
| parent | 59536b98b91751c524ad3560275ca8d5e4b9ac2a (diff) | |
Fixes favorites not updating and rename favorite_dirs to favorites
Diffstat (limited to 'platform/x11/os_x11.h')
0 files changed, 0 insertions, 0 deletions