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

Upgrade mkdocs #133

Merged

wsargent merged 1 commit into tersesystems:master from wsargent:upgrade-mkdocs

Feb 20, 2022

Contributor

wsargent commented Feb 20, 2022 •

edited

Loading

Fix mkdocs depending on a bad version of grgit:

Receiver class org.ajoberstar.grgit.Repository does not define or inherit an implementation of the resolved method 'abstract java.lang.Object getProperty(java.lang.String)' of interface groovy.lang.GroovyObject.


          Upgrade mkdocs

wsargent merged commit c2a335b into tersesystems:master

wsargent deleted the upgrade-mkdocs branch

February 20, 2022 17:31

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