Skip to content

- fix (locally; see https://github.com/TEIC/CETEIcean/pull/37) wrong …#2038

Merged
dubinsky merged 1 commit intomasterfrom
update-CETEIcean
Jun 18, 2020
Merged

- fix (locally; see https://github.com/TEIC/CETEIcean/pull/37) wrong …#2038
dubinsky merged 1 commit intomasterfrom
update-CETEIcean

Conversation

@dubinsky
Copy link
Contributor

this in behavior functions;

  • switch to the current CETEIcean;
  • remove old CETEI.js;

…ions;

- switch to the current CETEIcean;
- remove old `CETEI.js`;
@dubinsky dubinsky merged commit 584263f into master Jun 18, 2020
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