This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Getting rid of syntex #1965

Merged

NikVolf merged 1 commit into master from removing-syntex

Aug 19, 2016

Collaborator

tomusdrw commented Aug 19, 2016

for packages that don't need it


          Getting rid of syntex

d996754

tomusdrw added the A0-pleasereview 🤓 label

coveralls commented Aug 19, 2016

Coverage remained the same at 86.968% when pulling d996754 on removing-syntex into 070a215 on master.

keorn added A8-looksgood 🦄 and removed A0-pleasereview 🤓 labels

NikVolf merged commit fcfacc7 into master

tomusdrw deleted the removing-syntex branch

August 22, 2016 13:26

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A8-looksgood 🦄