diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_release_docs')
| -rwxr-xr-x | src/third_party/wiredtiger/dist/s_release_docs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_release_docs b/src/third_party/wiredtiger/dist/s_release_docs index 965f59662e8..80469628682 100755 --- a/src/third_party/wiredtiger/dist/s_release_docs +++ b/src/third_party/wiredtiger/dist/s_release_docs @@ -76,4 +76,3 @@ echo "Rebuild documentation root" echo "Finished packaging documentation, you should now push the results. Run:" echo "cd $DOC_DIR && git push origin" echo "To backout changes run 'git reset HEAD~1'" - |