Skip to content

Mistakes in scripts#11

Open
PovlAbrahamsen wants to merge 1 commit intoOceanMixingGroup:masterfrom
PovlAbrahamsen:mistakes
Open

Mistakes in scripts#11
PovlAbrahamsen wants to merge 1 commit intoOceanMixingGroup:masterfrom
PovlAbrahamsen:mistakes

Conversation

@PovlAbrahamsen
Copy link
Copy Markdown

A few trivial bug fixes!

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