Skip to content
GitLab
Explore
Sign in
Open
0
Merged
20
Closed
0
All
20
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
REFAC,STYLE,CI: General updates of requirements, mkdocs settings and CI settings
!20
· created
Nov 22, 2024
by
Markus Scheinert
Merged
updated
Nov 22, 2024
Mscheinert patch CDN
!19
· created
Jul 20, 2023
by
Markus Scheinert
Merged
updated
Jul 20, 2023
Add Cookie consent
!18
· created
Jul 20, 2023
by
Markus Scheinert
mscheinert--patch-cdn
Merged
updated
Jul 20, 2023
correct index.md with respect to multi-language support
!17
· created
Oct 05, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update mkdocs-requirements.txt, mkdocs.yml, docs/.pages
!16
· created
Oct 04, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Old language chooser
!15
· created
Oct 04, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update docs/index.md
!14
· created
Sep 05, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update CI,mkdocs.yml & docs/index.md
!13
· created
Aug 26, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
adding a wrapper div for hiding tab headers
!12
· created
Aug 08, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update mkdocs.yml
!11
· created
Aug 05, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update mkdocs.yml, docs/javascripts/mathjax.js
!10
· created
Aug 05, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update .overrides/assets/stylesheets/extra.css,...
!9
· created
Aug 05, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update docs/index.md
!8
· created
Aug 04, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
update requirements list & ignore .orig files
!7
· created
Aug 04, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update May 2022
!6
· created
May 17, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update extra.css
!5
· created
Apr 12, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
minor fix for md-button in extra.css
!4
· created
Mar 31, 2022
by
Markus Scheinert
Merged
updated
Feb 27, 2023
attempt to fix error when *.d folders are empty
!3
· created
Dec 09, 2021
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Update
!2
· created
Dec 09, 2021
by
Markus Scheinert
Merged
updated
Feb 27, 2023
Prepare release
!1
· created
Dec 08, 2021
by
Markus Scheinert
Merged
updated
Feb 27, 2023