Skip to content
This repository was archived by the owner on Feb 20, 2026. It is now read-only.

Add ui.Symbol class#10

Merged
dmerejkowsky merged 1 commit into
masterfrom
dm/symbol
Oct 4, 2017
Merged

Add ui.Symbol class#10
dmerejkowsky merged 1 commit into
masterfrom
dm/symbol

Conversation

@dmerejkowsky
Copy link
Copy Markdown
Collaborator

No description provided.

@arnaudgelas
Copy link
Copy Markdown

Yes 👍

@dmerejkowsky dmerejkowsky merged commit 7668590 into master Oct 4, 2017
@dmerejkowsky dmerejkowsky deleted the dm/symbol branch October 4, 2017 13:39
Comment thread docs/usage.rst
↑ 2 commits # on Linux
+ 2 commits # on Windows

Alternatively, if you do not wont to force a color, you can use
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Wont

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

fixed in 7ee764e thanks

dmerejkowsky added a commit that referenced this pull request May 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants