It appears that this theme is disabled: https://github.com/NixOS/nixos-org-configurations/blob/master/nixos-org/webserver.nix#L153 I tried to find some element that should be present in the theme, but was not.
2016-06-30 13:41 GMT+02:00 zimbatm <zimb...@zimbatm.com>: > Good idea. I think this could be done by changing > https://github.com/NixOS/nixos-org-configurations/blob/master/delft/wiki-skins/nixos.php > > > On Thu, 30 Jun 2016 at 12:29 Maarten Hoogendoorn <maar...@moretea.nl> > wrote: > >> I only learned a few weeks ago that the wiki is not maintained anymore, >> and that the content is going to be moved into the manuals. >> >> Could we add a banner to the top of the wiki to tell (new) users that the >> information in there might be out of date? >> >> This might prevent a lot of frustration for new users. >> _______________________________________________ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
