diff --git a/checkin_notes b/checkin_notes index 690406a92b..3649eb8d58 100644 --- a/checkin_notes +++ b/checkin_notes @@ -4020,3 +4020,9 @@ David 23 May 2012 boinc_db.inc ops/ fix_venue.php + +David 23 May 2012 + - server: rename fix_venue.php to fix_prefs.php + + html/ops/ + fix_prefs.php diff --git a/html/ops/fix_venue.php b/html/ops/fix_prefs.php similarity index 100% rename from html/ops/fix_venue.php rename to html/ops/fix_prefs.php