-
Notifications
You must be signed in to change notification settings - Fork 26
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Moved GenDefn to drasil-theory #1320
Conversation
Yes, please remove |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also it seem that code/drasil-theory/Theory/Drasil/README.md
was just copied and doesn't reflect the actual contents?
@JacquesCarette I fixed both |
Should I delete the branch, or will you continue to build on it? |
I'll just make a new one for each move for simplicity |
As per #918, the
drasil-theory
package was created, andGenDefn
was moved there.@JacquesCarette - The
gd''
constructor (with the following type signature) is never used.gd'
be renamed togd
?If not, this PR can be merged.