03 décembre 2020
sourceUn gestionnaire de sources, mêlant certaines idées venues de git et d’autres venues de darcs. Je vois plusieurs inconvénients (tout à fait mineurs) : l’adoption d’un gestionnaire de source dépend du réseau, et il va falloir à nouveau des outils facilitant la vie … (oui, je parle d’interface graphique). Je pense qu’on en entendra reparler …