Skip to content

Conversation

@amedora
Copy link
Contributor

@amedora amedora commented Jun 28, 2018

This PR resolves #1444

@sosukesuzuki sosukesuzuki added the awaiting review ❇️ Pull request is awaiting a review. label Jun 28, 2018
@Rokt33r Rokt33r self-requested a review July 11, 2018 05:49
@Rokt33r Rokt33r added next release (v0.11.8) and removed awaiting review ❇️ Pull request is awaiting a review. labels Jul 17, 2018
@Rokt33r
Copy link
Member

Rokt33r commented Jul 17, 2018

LGTM! It should be nice if we have a hotkey to format a content of a note.

@Rokt33r Rokt33r merged commit 22939aa into BoostIO:master Jul 17, 2018
@amedora amedora deleted the table-formatter branch August 16, 2018 06:36
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.

[Feature request] Table Formatter

3 participants