| commit | 8ebad6ff9e0ac942b74c9e3775b6a321aaf4cf52 | [log] [tgz] |
|---|---|---|
| author | Javier Jardón <jjardon@gnome.org> | Sun Mar 18 22:52:58 2018 +0000 |
| committer | Javier Jardón <jjardon@gnome.org> | Sun Mar 18 22:52:58 2018 +0000 |
| tree | 4fa45ee789a16ce6e5a64b1ac82730d0747a90d4 | |
| parent | 5d7ee178fcfb337962cef7e9dab6927478215f5f [diff] |
source/install.rst: put Debian version under the same subsection