Nils Kneuper 5fe5072040 change the html manual to describe shortcuts always as...
..."modifier+key" instead of a wild mix where "modifier-key" dominates

this change gets things uniform and in sync with what is shown in-game
(plus it makes sense to have a '+' used when >1 key have to be pushed
at the same time) the po files are *not* updated yet...
2011-03-27 21:23:38 +00:00
..
2011-03-11 14:17:45 +00:00
2011-02-26 08:54:02 +00:00
2011-03-20 15:58:08 +00:00