From 22ab20d321c41f1cb740d3bc3445a7fe31d7c071 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Optimal=20Sup-Sp=C3=A9?= Date: Mon, 26 Sep 2022 11:54:17 +0200 Subject: [PATCH] =?UTF-8?q?Revert=20"Am=C3=A9lioration=20de=20l'interface?= =?UTF-8?q?=20pour=20les=20TrueFalse"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This reverts commit 4692fa5469df230aec64f6c1216dbe141a17fb1c. --- docs/prof.js | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 docs/prof.js diff --git a/docs/prof.js b/docs/prof.js old mode 100755 new mode 100644