Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(Portal): fix properties table #1920

Merged
merged 1 commit into from
Jan 16, 2023
Merged

chore(Portal): fix properties table #1920

merged 1 commit into from
Jan 16, 2023

Conversation

tujoworker
Copy link
Member

Fixes #1913

@codesandbox-ci
Copy link

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit e0d3112:

Sandbox Source
eufemia-starter Configuration

Copy link
Contributor

@langz langz left a comment

Choose a reason for hiding this comment

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

🎉🥳🙏

@tujoworker tujoworker merged commit a716018 into v10 Jan 16, 2023
@tujoworker tujoworker deleted the chore/properties-table branch January 16, 2023 06:43
tujoworker added a commit that referenced this pull request Jan 19, 2023
tujoworker added a commit that referenced this pull request Jan 20, 2023
tujoworker added a commit that referenced this pull request Jan 26, 2023
tujoworker added a commit that referenced this pull request Jan 26, 2023
tujoworker added a commit that referenced this pull request Feb 1, 2023
tujoworker added a commit that referenced this pull request Feb 5, 2023
tujoworker added a commit that referenced this pull request Feb 9, 2023
langz pushed a commit that referenced this pull request Feb 22, 2023
langz pushed a commit that referenced this pull request Feb 22, 2023
tujoworker added a commit that referenced this pull request Feb 23, 2023
tujoworker added a commit that referenced this pull request Feb 23, 2023
joakbjerk pushed a commit that referenced this pull request Mar 27, 2023
langz pushed a commit that referenced this pull request May 31, 2023
tujoworker added a commit that referenced this pull request May 31, 2023
tujoworker added a commit that referenced this pull request May 31, 2023
tujoworker added a commit that referenced this pull request May 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants