Skip to content

Fix #882 (inconsistent indentation for Variant) - #883

Open
jeremyThibault wants to merge 1 commit into
ProofGeneral:masterfrom
jeremyThibault:master
Open

Fix #882 (inconsistent indentation for Variant)#883
jeremyThibault wants to merge 1 commit into
ProofGeneral:masterfrom
jeremyThibault:master

Fix wrong indentation of Variant

770398e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs