behalf of romain.geissler@gmail.com. Fix plugin file installation
commit6ee97920019b242257a7f76a05cb6e5e593503ef
authorchrbr <chrbr@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 25 Jul 2011 11:15:12 +0000 (25 11:15 +0000)
committerchrbr <chrbr@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 25 Jul 2011 11:15:12 +0000 (25 11:15 +0000)
tree54d47f4d6a97ee358a5fa6e9830ac1d6dfca143c
parent69d925d0cdde3719db32de77651ba0b4c9149a7f
behalf of romain.geissler@gmail.com. Fix plugin file installation

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@176741 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/Makefile.in
gcc/c-family/ChangeLog
gcc/c-family/c-pretty-print.h