diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 23:07:54 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 23:07:54 +0100 |
commit | d6fcaf2ee31200d0ce210eeee21d78ab9cb856cb (patch) | |
tree | dfa7d76a0cdbddcb961a3efeb616ad9317bd35d7 | |
parent | b22c101c94622577fba858cb4e1baae6a3b6fdd6 (diff) |
name makes a tiny bit more sense now
-rw-r--r-- | src/profiles/profile-automatic-dieter (renamed from src/profiles/profile-dieter) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/profiles/profile-dieter b/src/profiles/profile-automatic-dieter index 66d7c41..66d7c41 100644 --- a/src/profiles/profile-dieter +++ b/src/profiles/profile-automatic-dieter |