diff doc/gendoc.py @ 11994:31dde4c3bb83 stable

bookmarks: Check if the bookmark to delete exists on the remote
author David Soria Parra <dsp@php.net>
date Thu, 19 Aug 2010 15:04:21 -0400
parents 7f3581c5ad93
children 13f0acfa974a
line wrap: on
line diff