Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 3_composition:document:signaler_des_changements_entre_versions [2022/09/23 16:20] – Suppression d'espace inutile dbitouze
+++ 3_composition:document:signaler_des_changements_entre_versions [2022/12/01 14:37] (Version actuelle) – [Avec l'extension “changebar”] https dbitouze
@@ Ligne 61: / Ligne 61: @@
 L'éditeur du shareware ''WinEDT'' dispose de fonctionnalités générant des commandes [[ctanpkg>changebar]] (ou autres)
 pour montrer les différences d'une version à une autre de votre fichier, stockées dans un dépôt ''RCS''
-([[wpfr>GNU_RCS|Revision Control System]]) --- voir <http://www.winedt.org/old/Config/menus/RCS.php>.
+([[wpfr>GNU_RCS|Revision Control System]]) --- voir https://www.winedt.org/old/Config/menus/RCS.php.
 FIXME //Cette information semble concerner une version ancienne de cet éditeur...//