| .. |
|
generated
|
b08a779f2e
make pygments.less
|
3 years ago |
|
js
|
4a72a6b9fc
Theme: fix autocompletion with the POST method
|
3 years ago |
|
less
|
eb489c45ea
Submit GH bug: ask the user to do some checks before submitting a new issue
|
3 years ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
3 years ago |
Alexandre FLAMENT