Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Use PrettyTables.jl as HTML backend #3096
Use PrettyTables.jl as HTML backend #3096
Changes from 27 commits
898d730
11e3c20
e7185fa
4129e96
6688343
adfe1b8
d7d3169
0952200
2b19705
ba81066
95c8816
cdfa097
98a849b
ea7ec0c
da1d1f8
6a9b814
987844d
2e9e5d4
384b7b9
608f6ed
2d6f2db
e2b1da6
75c3604
d375572
63af286
b4f0e15
5ca32f1
2a4126a
5d64974
caf27a9
e8637b0
42d51fe
732a546
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing