OSDN Git Service

* doc/plugins.texi: Document plugin_is_GPL_compatible.
[pf3gnuchains/gcc-fork.git] / mkdep
2000-07-22 jasonmerge with /cvs/src