Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace old site with new one #22

Closed
fdedden opened this issue May 5, 2020 · 0 comments
Closed

Replace old site with new one #22

fdedden opened this issue May 5, 2020 · 0 comments
Assignees
@fdedden
Labels
enhancement New feature or request

Comments

@fdedden
Copy link
Member

fdedden commented May 5, 2020

No description provided.

@fdedden fdedden added the enhancement New feature or request label May 5, 2020
@fdedden fdedden self-assigned this May 5, 2020
fdedden added a commit that referenced this issue May 5, 2020
@fdedden
Replaced old site with new one. Refs #22.
88c2be9 
All old files were (re)moved, except for the license.
@fdedden fdedden closed this as completed in c1dbaba May 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fdedden fdedden

Labels
enhancement New feature or request
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fdedden