Skip to content

Remove extraneous stuff#59

Merged
DavidLDawes merged 3 commits intomasterfrom
dave-dev
Jun 17, 2018
Merged

Remove extraneous stuff#59
DavidLDawes merged 3 commits intomasterfrom
dave-dev

Conversation

@DavidLDawes
Copy link
Copy Markdown

Remove extraneous stuff including dynamic libraries (we get those with makeReleae.sh now).
Also remove out of date README contents.

@DavidLDawes DavidLDawes merged commit 2a84291 into master Jun 17, 2018
Asherda pushed a commit that referenced this pull request Dec 17, 2019
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.

1 participant