Closed tonyg closed 7 years ago
The current package-server produces urls like http://pkgs.racket-lang.org/#[packagename]. The new UI should support such urls, redirecting (on the fly in JS presumably) to the new-style http://pkgs.racket-lang.org/package/packagename.
http://pkgs.racket-lang.org/#[packagename]
http://pkgs.racket-lang.org/package/packagename
The current package-server produces urls like
http://pkgs.racket-lang.org/#[packagename]. The new UI should support such urls, redirecting (on the fly in JS presumably) to the new-stylehttp://pkgs.racket-lang.org/package/packagename.