Skip to content
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

slightly improved styling, small index text changes #1004

Merged
merged 1 commit into from Apr 16, 2020
Merged

slightly improved styling, small index text changes #1004

merged 1 commit into from Apr 16, 2020

Conversation

nicholascar
Copy link
Member

very small changes, for Issue #994

Closes #994

@nicholascar nicholascar mentioned this pull request Apr 16, 2020
Closed
3 tasks
@coveralls
Copy link

coveralls commented Apr 16, 2020 •
edited

Coverage Status

Coverage remained the same at 75.913% when pulling 8dce2dd on improved_docco_style into 604d63e on master.

@white-gecko white-gecko merged commit cae94da into master Apr 16, 2020
@white-gecko white-gecko deleted the improved_docco_style branch April 16, 2020 06:42
@white-gecko white-gecko added this to the rdflib 5.0.0 milestone Apr 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@white-gecko white-gecko white-gecko approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
rdflib 5.0.0
Development

Successfully merging this pull request may close these issues.

DOC: sphinx theme
3 participants
@nicholascar @coveralls @white-gecko