Open DanielSank opened 8 years ago
The thesis used to sit in my theory repo, so the import paths expected various files to be in various places. Now the repos are separate, so I either have to use git submodules or use symlinks.
The thesis used to sit in my theory repo, so the import paths expected various files to be in various places. Now the repos are separate, so I either have to use git submodules or use symlinks.