Skip to content

New command: md #35

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.

Sign up for GitHub

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

Merged
dwhswenson merged 10 commits into from
Dec 17, 2020
Merged

New command: md #35

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
fbe73da
Add md command
dwhswenson Dec 8, 2020
98f3868
Add tests for md
dwhswenson Dec 9, 2020
830ef03
cleanup
dwhswenson Dec 9, 2020
6125554
tests for md command
dwhswenson Dec 9, 2020
00b83cc
more test coverage
dwhswenson Dec 9, 2020
586f1a7
docstrings
dwhswenson Dec 9, 2020
8df4a54
Add progress reporting to md command
dwhswenson Dec 9, 2020
fb91628
Merge remote-tracking branch 'upstream/master' into md
dwhswenson Dec 10, 2020
38e01ba
Merge remote-tracking branch 'upstream/master' into md
dwhswenson Dec 11, 2020
8e9fa46
more tests; docstrings
dwhswenson Dec 15, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'upstream/master' into md
  • Loading branch information
@dwhswenson
dwhswenson committed Dec 10, 2020
commit fb91628077f734f43d847671a677e3742d254540

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.