diff options
| author | Mauro Bieg <mb21@users.noreply.github.com> | 2017-02-16 13:56:42 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-16 13:56:42 +0100 |
| commit | 05cf034cc3b520103b519c800d51a8d9c561f8dc (patch) | |
| tree | 7451b40ab5d103c86cf4faa68421acf8a5cc620e /doc | |
| parent | 575014975e5ede206791c9389f07aeb2af9fe652 (diff) | |
INSTALL.md put rpm-based distros on separate point (#3449)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions