This repository has been archived by the owner on Apr 19, 2024. It is now read-only.

Renaming sizes fact #51

Merged

petems merged 1 commit into master from renaming_fact

Apr 22, 2016

Owner

petems commented Apr 22, 2016

No description provided.


          Renaming sizes fact

3a31de8

ghost commented Apr 22, 2016

Your pull request doesn't follow our guidelines. Please fix the following:

Pull request description must include verification steps.
Pull request description cannot be empty.
Pull request title must be in imperative, present tense (e.g. "add", "fix", "change").

Click here for details. Leave a comment when you've fixed these errors and we will revalidate.

Thank you! 🙏
_{This comment was made by GitMagic – Magically enforcing your contribution guidelines.}

petems merged commit 043af82 into master

petems deleted the renaming_fact branch

April 25, 2016 23:35

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

Labels

None yet