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