2010/5/12 David Paleino <d.pale...@gmail.com>: >> > grep, awk e compagnia) se qualcuno è stato modificato si fa il revert >> > ed eventualmente si avverte l'utente che ha fatto la modifica. La cosa >> > potrebbe essere quasi automatica. > Col revert non viene incrementata anche la versione?
Alla peggio si cancella il punto e lo si ricrea da zero. Noioso ma si spera non succeda spesso... Ciao, Federico _______________________________________________ Talk-it mailing list Talk-it@openstreetmap.org http://lists.openstreetmap.org/listinfo/talk-it