Skip to content

Conversation

cclauss
Copy link
Member

@cclauss cclauss commented Jul 19, 2019

Also ignores all paths that start with a . (dot). The output (with blank lines removed) is in #1046 #1072.

@cclauss cclauss added the awaiting reviews This PR is ready to be reviewed label Jul 19, 2019
@cclauss cclauss changed the title Add more ignores and ignores_exts scripts/build_directory_md.py: Add more ignores and ignores_exts Jul 21, 2019
cclauss added a commit that referenced this pull request Jul 25, 2019
Built via the code in #1047
@cclauss cclauss mentioned this pull request Jul 25, 2019
@cclauss
Copy link
Member Author

cclauss commented Jul 26, 2019

Closing in favor of #1076

@cclauss cclauss closed this Jul 26, 2019
@cclauss cclauss deleted the Fix-build_directory_md.py branch July 26, 2019 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting reviews This PR is ready to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants