Skip to content
This repository has been archived by the owner on Nov 16, 2022. It is now read-only.

Rename Colophon -> Tools #183

Merged
merged 1 commit into from
Jun 12, 2015
Merged

Rename Colophon -> Tools #183

merged 1 commit into from
Jun 12, 2015

Conversation

techtonik
Copy link
Contributor

No description provided.

@techtonik techtonik mentioned this pull request Apr 13, 2015
Closed
@techtonik
Copy link
Contributor Author

Rebased.

@techtonik techtonik mentioned this pull request Apr 13, 2015
Closed
@techtonik techtonik self-assigned this May 2, 2015
@techtonik techtonik mentioned this pull request May 2, 2015
Closed
@techtonik techtonik mentioned this pull request Jun 10, 2015
Closed
chadwhitacre added a commit that referenced this pull request Jun 12, 2015
@chadwhitacre
Merge pull request #183 from gratipay/rename-colophon
2a2a5f5 
Rename Colophon -> Tools
@chadwhitacre chadwhitacre merged commit 2a2a5f5 into master Jun 12, 2015
@chadwhitacre chadwhitacre deleted the rename-colophon branch June 12, 2015 15:08
@techtonik
Copy link
Contributor Author

!m @whit537

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

@techtonik techtonik

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@techtonik @chadwhitacre