Skip to content

Ia1 1537 new symbols#9

Open
jarlep wants to merge 2 commits intomasterfrom
IA1-1537_new_symbols
Open

Ia1 1537 new symbols#9
jarlep wants to merge 2 commits intomasterfrom
IA1-1537_new_symbols

Conversation

@jarlep
Copy link
Copy Markdown

@jarlep jarlep commented Aug 17, 2018

  • Fixed npm install was getting way to new packages getting package.json from desmos fork
  • Adding rightleftharpoons

@asgeir-inspera
Copy link
Copy Markdown

@jarlep Should this be closed or merged?

@asgeir-inspera
Copy link
Copy Markdown

Should we do anything with this, or should it be closed and forgotten?

@asgeir-inspera asgeir-inspera removed their request for review January 9, 2020 12:00
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