diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-30 10:11:38 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-30 10:11:38 +0000 |
| commit | fb8120b2860496b59c428c55be1d93635e33b1c4 (patch) | |
| tree | c521269f857bae8334b436cd11153f022efc51ab /maintainer-scripts | |
| parent | b2e8d25e68b4b644935c8f716748ae1049e3c26f (diff) | |
Add svn:executable property for generate_libstdcxx_web_docs.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216914 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts')
| -rwxr-xr-x[-rw-r--r--] | maintainer-scripts/generate_libstdcxx_web_docs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/maintainer-scripts/generate_libstdcxx_web_docs b/maintainer-scripts/generate_libstdcxx_web_docs index 700e522e25c..700e522e25c 100644..100755 --- a/maintainer-scripts/generate_libstdcxx_web_docs +++ b/maintainer-scripts/generate_libstdcxx_web_docs |