diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 8e3469c0..e771aa61 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -2812,6 +2812,7 @@ Christopher Reimer <reimer.christopher@freenet.de> for suggesting to remove some redundancy in the Makefile/Make.global/Make.config mechanism for suggesting to give the plugin Makefiles a separate 'install' target + for making plugin Makefiles use DESTDIR and the 'install' program Stefan Huskamp <coca_cola1@gmx.de> for suggesting to make entering characters via the number keys |