diff options
Diffstat (limited to 'Configurations/99-personal-bodo.conf')
-rw-r--r-- | Configurations/99-personal-bodo.conf | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Configurations/99-personal-bodo.conf b/Configurations/99-personal-bodo.conf index 78e8e29a45..24c0e1e34f 100644 --- a/Configurations/99-personal-bodo.conf +++ b/Configurations/99-personal-bodo.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-bodo" => { |