diff doc/plugin-ids.dox @ 16425:c41facb80e4a

These files are no longer in the repository, remove them from EXTRA_DIST so 'make dist' works.
author Stu Tomlinson <stu@nosnilmot.com>
date Wed, 25 Apr 2007 14:01:28 +0000
parents 1414e0e01dc5
children e0613cf8c493
line wrap: on
line diff