diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-12-07T21·47+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-07T21·47+0100 |
| commit | 05f0543a1761357f4790e388ac74c8e284b9bb3e (patch) | |
| tree | c78e3eeca5c85b70a25f21b7be546f13ec91cba1 /doc/manual/installation | |
| parent | 4aee93d5ce6cf77e314e93074b9da1dcff8979e9 (diff) | |
| parent | fa5143c722dab749de9305dbaa85d618b5758440 (diff) | |
Merge pull request #2562 from chawki008/master
Solve hg "abandoned transaction" issue
Diffstat (limited to 'doc/manual/installation')
0 files changed, 0 insertions, 0 deletions