diff options
| author | Guillaume Melquiond | 2018-10-31 14:49:58 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2018-11-06 10:51:56 +0100 |
| commit | 0f03707044822631160d516d65a80fc4bc45d104 (patch) | |
| tree | 36294c7d8bfd56fed864437c038eddf6df44f6e0 /dev | |
| parent | 1aa71f100ddd5e3651a7d6e4adf0ebba5ae5fdee (diff) | |
Improve rendering of the credits.
This mostly fixes text that was italicized instead of teletyped. When
possible, tactic names have been made to point to their documentation.
Also, the date of the 8.9 release has been proactively changed to
November.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions