diff options
| author | Petr Skramovsky <[email protected]> | 2013-07-17 09:20:46 +0200 |
|---|---|---|
| committer | Petr Skramovsky <[email protected]> | 2013-07-17 09:20:46 +0200 |
| commit | 9fce91044649c9f97bd94c5791a10270afad7570 (patch) | |
| tree | a69fa244ddeb78e52248d4306a4ecc6b27e924da /doc/HowToBuild.html | |
| parent | 5116d72f0150bdd6353ee664ef76e414bd61f87e (diff) | |
| parent | bfb10d309d97c19a33f9b6758f647186f8e0ddd6 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'doc/HowToBuild.html')
| -rw-r--r-- | doc/HowToBuild.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/HowToBuild.html b/doc/HowToBuild.html index ad965e194..529d1003b 100644 --- a/doc/HowToBuild.html +++ b/doc/HowToBuild.html @@ -76,7 +76,7 @@ <li> <b>GNU Linux</b> x86, 32- and 64-bit<br/> You may have to install a few developer packages ... <ul> - <li> <b>[K]Ubuntu</b> 10.04 or later + <li> <b>Debian</b> 5.00 or later <ul> <li>git</li> <li>gcc</li> |