Skip to content

verso-manual: Increase responsive layout breakpoints - #686

Open
AmateurECE wants to merge 1 commit into
leanprover:mainfrom
AmateurECE:bugfix/increase-responsive-layout-breakpoints
Open

verso-manual: Increase responsive layout breakpoints#686
AmateurECE wants to merge 1 commit into
leanprover:mainfrom
AmateurECE:bugfix/increase-responsive-layout-breakpoints

verso-manual: Increase responsive layout breakpoints

811b740
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.