diff tests/autodiff.py @ 13474:6c2e476b7a11 stable

tests: check if the bookmarks extension is ignored
author David Soria Parra <dsp@php.net>
date Thu, 24 Feb 2011 19:15:00 +0100
parents e451e599fbcf
children b33f3e35efb0
line wrap: on
line diff