diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-21 10:28:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-21 10:28:05 +0200 |
| commit | f22f83f2df827175a79f5f8a48fdec9e3352d759 (patch) | |
| tree | d0d3038376c2bb5ad2b522718badafe636050740 /doc | |
| parent | d26c6b28a679861068f44ab9147cc26429f2a0de (diff) | |
| parent | 77a6a467b357798cdd7567076de5bca89a481e34 (diff) | |
Merge pull request #22308 from groud/fix_filesystem_setting
Fixes filesystem display mode not updating at startup
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions