comparison src/pt-colon.h @ 8179:6c08e3921d3e

imported patch maybe_delete_fix.diff
author Jaroslav Hajek <highegg@gmail.com>
date Fri, 03 Oct 2008 13:04:14 +0200
parents 3100283874d7
children 73c4516fae10
comparison
equal deleted inserted replaced
8178:af41e2094993 8179:6c08e3921d3e