Stop using auto with * in intuition#119
Open
SkySkimmer wants to merge 1 commit intorocq-community:coq-masterfrom
Open
Stop using auto with * in intuition#119SkySkimmer wants to merge 1 commit intorocq-community:coq-masterfrom
SkySkimmer wants to merge 1 commit intorocq-community:coq-masterfrom
