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

Refresh documentation site #242

Merged

slawekjaranowski merged 1 commit into master from site-refresh

Mar 25, 2023

Member

slawekjaranowski commented Mar 24, 2023

improve site build
fix broken links
fix GitHub ribbon

slawekjaranowski added the maintenance label


          Refresh documentation site

2e96e8b

- improve site build
- fix broken links
- fix GitHub ribbon

fix #89 #100

slawekjaranowski force-pushed the site-refresh branch from 6d55530 to 2e96e8b Compare

March 24, 2023 18:17

slawekjaranowski linked an issue

that may be closed by this pull request

[bug] provided wrong url in your web page. #100

Closed

slawekjaranowski merged commit 90f22e4 into master

slawekjaranowski deleted the site-refresh branch

March 25, 2023 07:31

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels