Skip to content
This repository was archived by the owner on Jun 16, 2021. It is now read-only.

Based on 11 May meeting, unify some of the spacing values. #30

Closed
wants to merge 1 commit into from

Conversation

NSoiffer
Copy link
Contributor

The values are now one of 0/0, 3/3/, and 5/5.

The values are now one of 0/0, 3/3/, and 5/5.
@NSoiffer
Copy link
Contributor Author

Not sure why there are conflicts -- I did a pull before making changes. Could be something left over from an earlier change/push???

@fred-wang
Copy link
Member

I merged #21 ; so you probably want to rebase on top of the latest changes.

@fred-wang
Copy link
Member

Rebased and merged in 66fa19b

@fred-wang fred-wang closed this May 12, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants