diff options
Diffstat (limited to 'Configurations/99-personal-ben.conf')
| -rw-r--r-- | Configurations/99-personal-ben.conf | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Configurations/99-personal-ben.conf b/Configurations/99-personal-ben.conf index b7093227f0..611e3dedd0 100644 --- a/Configurations/99-personal-ben.conf +++ b/Configurations/99-personal-ben.conf @@ -1,9 +1,5 @@ ## -*- mode: perl; -*- ## Personal configuration targets -## -## If you edit this file, run this command before committing -## make -f Makefile.in TABLE -## This file is interpolated by the Configure script. %targets = ( "debug-ben" => { |