diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-01T12·05+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-01T12·05+0200 |
| commit | 254ed7f9f31a069fd38e45e3163819c127d808f5 (patch) | |
| tree | 976466d2ca1094dfba02cfa8b4dc56912e29eb52 /doc/manual/installation/supported-platforms.xml | |
| parent | 475a0a54a9c28c311f0c05d129bb165e7c215efb (diff) | |
| parent | 87702532d2aa24394493ccd12e77811cc2d0893c (diff) | |
Merge pull request #2391 from grahamc/more-stats
Print stats in more programs
Diffstat (limited to 'doc/manual/installation/supported-platforms.xml')
0 files changed, 0 insertions, 0 deletions