Apply header updates to other pages - Githubissues

gnustep / gnustep.github.io

GNUstep website hosted on GitHub

7 stars 7 forks source link

Apply header updates to other pages #3

Closed plaurent closed 2 years ago

plaurent commented 5 years ago

Apply header updates in https://github.com/gnustep/gnustep.github.io/commit/45bebacbacc42cced7bd7146c87de15e814c0399 to the other pages.