Skip to content
This repository has been archived by the owner on Jan 10, 2023. It is now read-only.

Deleting old template file #410

Merged
merged 1 commit into from
Sep 5, 2019
Merged

Deleting old template file #410

merged 1 commit into from
Sep 5, 2019

Conversation

anders-sandholm
Copy link
Contributor

No description provided.

@anders-sandholm anders-sandholm self-assigned this Sep 5, 2019
ringgaard
ringgaard approved these changes Sep 5, 2019
View reviewed changes
Copy link
Contributor

@ringgaard ringgaard left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for fixing this.

@anders-sandholm anders-sandholm merged commit 6fb4936 into google:master Sep 5, 2019
@anders-sandholm anders-sandholm deleted the mybranch branch September 5, 2019 10:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ringgaard ringgaard ringgaard approved these changes

Assignees

@anders-sandholm anders-sandholm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@anders-sandholm @ringgaard