diff options
| author | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-10-30 11:11:38 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-10-30 11:11:38 +0100 |
| commit | 67848724e5d99bd27d69fc63b211658995aa9437 (patch) | |
| tree | c521269f857bae8334b436cd11153f022efc51ab | |
| parent | 47a668cd26bc8efaddf56ba18b2255f0b271c507 (diff) | |
Add svn:executable property for generate_libstdcxx_web_docs.
From-SVN: r216914
| -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 |