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.

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

feat(frontend): highlightjs theme #202

Merged

raphink merged 2 commits into camptocamp:master from raphink:highlightjs

Aug 18, 2021

Contributor

raphink commented Aug 18, 2021

feat(frontend): use pointer cursor on list group items
feat(frontend): use github highlightjs theme

raphink added 2 commits

August 18, 2021 14:16


          feat(frontend): use pointer cursor on list group items

ba528dd

Signed-off-by: Raphaël Pinson <raphael.pinson@camptocamp.com>


          feat(frontend): use github highlightjs theme

Signed-off-by: Raphaël Pinson <raphael.pinson@camptocamp.com>

coveralls commented Aug 18, 2021

Coverage remained the same at 57.435% when pulling 0698516 on raphink:highlightjs into 0b87348 on camptocamp:master.

raphink changed the title ~~highlightjs~~ feat(frontend): highlightjs theme

raphink merged commit e18dd8f into camptocamp:master

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