This is now fixed.
This commit is contained in:
parent
7857307a50
commit
79d94b435e
1 changed files with 0 additions and 1 deletions
|
@ -6,7 +6,6 @@ Random TODOs related to the Wiki and infrastructure:
|
|||
* /guide/ link to gitorious is broken due to rename
|
||||
* no history link for each page (usually by recent changes, etc) loses major wiki affordance, cf <https://ikiwiki.info/users/joey/> ... looks to require [configuration](https://ikiwiki.info/pagehistory/)
|
||||
* no diff link in rcentchanges loses major wiki affordance, cf <https://ikiwiki.info/recentchanges/> ... looks to require [plugin](https://ikiwiki.info/plugins/recentchangesdiff/)
|
||||
* "This Page's Discussion" link obtains "Error: bad page name".
|
||||
* look into lstlisting to see if we can do code highlighting or otherwise
|
||||
better presentation of it in HTML.
|
||||
|
||||
|
|
Loading…
Reference in a new issue