[Freeciv-Dev] (PR#13839) PING, civmanual has been broken for ages
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://bugs.freeciv.org/Ticket/Display.html?id=13839 >
Maybe not ages, but at least months. Without the patch that was
submitted four months ago, civmanual does not even start. Since nobody
seems to be using civmanual, it would perhaps be simpler to just
remove it from the repository.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Freeciv-Dev] (PR#13839) PING, civmanual has been broken for ages,
Guillaume Melquiond <=
|
|