diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-12-23 00:44:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-23 00:44:29 +0100 |
| commit | aaf57c983d6971983ab596aebef5f5cf647528cf (patch) | |
| tree | 93cc3229649f660e1bdc616726751ae933fc85ed /doc/manual/figures/user-environments.png | |
| parent | 7dcfa8042e64af9d9a5630a23df9475f48d8aec4 (diff) | |
| parent | d25923263e0eb70f37536e2fe5b59237f6fce5cc (diff) | |
Merge pull request #3284 from puffnfresh/wsl
Disable use-sqlite-wal under WSL
Diffstat (limited to 'doc/manual/figures/user-environments.png')
0 files changed, 0 insertions, 0 deletions