US 11: Direct navigation to /repo and /dist

marcbaechinger / craft.js

JavaScript crafting tool

6 stars 1 forks source link

Closed marcbaechinger closed 12 years ago

marcbaechinger commented 12 years ago

a ui element available on all pages allows a direct navigation to the root of the repository directory
a ui element available on all pages allows a direct navigation to the root of the dist directory

marcbaechinger commented 12 years ago

Implemented