diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-19T19·53+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-19T19·53+0200 |
| commit | a48c2e3411298279b65cab69d1f40bc4fb6c1c94 (patch) | |
| tree | 2be929b3bf023f36f5408cabe09f064e3764474b /Makefile.config.in | |
| parent | 43b7eebfabe9bf1b0680391c0a311676c4cdb2b9 (diff) | |
| parent | 1915862767331dba33bc0f40bc09a3c32a22ebea (diff) | |
Merge pull request #2434 from grahamc/graham-improve-upgrade
Upgrade docs: improve the upgrade command
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions