10997 shaares
11 private links
11 private links
Un 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 ...