From b5eff8a9dd1ad2909e36e07da85085a7f1dbda80 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Fri, 6 Dec 2024 14:52:50 -0800
Subject: [PATCH] copy

---
 aider/website/_includes/edit-leaderboard.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/aider/website/_includes/edit-leaderboard.js b/aider/website/_includes/edit-leaderboard.js
index dc43555ad..6e4107cb9 100644
--- a/aider/website/_includes/edit-leaderboard.js
+++ b/aider/website/_includes/edit-leaderboard.js
@@ -4,7 +4,7 @@ document.addEventListener('DOMContentLoaded', function () {
   const redDiagonalPattern = pattern.draw('diagonal', 'rgba(255, 99, 132, 0.2)');
   let displayedData = [];
 
-  const HIGHTLIGHT_MODEL = '1206';
+  const HIGHTLIGHT_MODEL = 'no no no';
   var leaderboardData = {
     labels: [],
     datasets: [{
@@ -96,7 +96,7 @@ document.addEventListener('DOMContentLoaded', function () {
             generateLabels: function(chart) {
               return [
                 {
-                  text: 'Diff format',
+                  text: 'Diff-like format',
                   fillStyle: 'rgba(54, 162, 235, 0.2)',
                   strokeStyle: 'rgba(54, 162, 235, 1)',
                   lineWidth: 1