Skip to content

Conversation

willtownes
Copy link
Contributor

it's better to use remotes since it has fewer dependencies than devtools

Copy link
Contributor

@brookslogan brookslogan left a comment

Choose a reason for hiding this comment

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

Thanks, nice idea! I applied this change in a few additional (commented) lines here and there. (+ re-document()ed and re-style_pkg()ed a few times, which apparently fixed some styling issues that I apparently failed to commit in #54.

@brookslogan brookslogan merged commit e6ccb9a into cmu-delphi:dev Oct 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants