diff COPYING @ 579:21a389e4d8b5

maps: if operation can continue, it should probably not use ui.warn()
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Mon, 01 Mar 2010 21:26:30 +0100
parents c07bcdc6e1bd
children
line wrap: on
line diff