Improvements to top menu - Githubissues

gnustep / gnustep.github.io

GNUstep website hosted on GitHub

7 stars 7 forks source link

Improvements to top menu #1

Closed plaurent closed 5 years ago

plaurent commented 5 years ago

Proposed improvements to top menu

Add direct link to GNUstep documentation
Distinguish resources for app developers vs GNUstep developers