julia
Remove indent from numbered list
#18833
Merged
Overview
Commits
1
Changes
View On GitHub

Remove indent from numbered list #18833

tkelman merged 1 commit into JuliaLang:master from MichaelHatherly:mh/fix-list-indent
MichaelHatherly
MichaelHatherly Remove indent from numbered list
de951fb8
MichaelHatherly MichaelHatherly added docs
tkelman tkelman added backport pending 0.5
tkelman tkelman removed backport pending 0.5
tkelman tkelman added backport pending 0.5
tkelman tkelman merged 75bae33e into master 9 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
docs
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum