summary refs log tree commit diff
path: root/changelog.d/10869.doc
blob: c117386072c3265d2854bdf490b9eca5c7f14a82 (plain) (blame)
1
Properly remove deleted files from GitHub pages when generating the documentation.