Skip to content

Unused files removed#125

Merged
ca333 merged 1 commit intoKomodoPlatform:devfrom
kolobus:remove-files
May 5, 2020
Merged

Unused files removed#125
ca333 merged 1 commit intoKomodoPlatform:devfrom
kolobus:remove-files

Conversation

@kolobus
Copy link
Copy Markdown
Contributor

@kolobus kolobus commented May 4, 2020

No description provided.

@kolobus kolobus requested review from ca333 and tonymorony May 4, 2020 01:20
@kolobus kolobus mentioned this pull request May 4, 2020
Copy link
Copy Markdown
Contributor

@tonymorony tonymorony left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM (interesting that we had obsolete non-sapling version of kmd_7776 in iguana folder)

@ca333 ca333 merged commit 18f90fd into KomodoPlatform:dev May 5, 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.

3 participants