diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 15:41:29 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 15:41:29 +0200 |
| commit | 38db629f4be6f0a963b95a958a99bbe382b6b5d1 (patch) | |
| tree | 24ad74ded15f1bfd4744360f0151c0df3b5367fb /debian/patches/00list | |
| parent | 1950fa2f34bb93fe514e9035284073221c1cbba6 (diff) | |
Remove browser.dpatch and use --browser configure option
Diffstat (limited to 'debian/patches/00list')
| -rw-r--r-- | debian/patches/00list | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/00list b/debian/patches/00list index 96c8fc3a..a86c4963 100644 --- a/debian/patches/00list +++ b/debian/patches/00list @@ -1,3 +1,2 @@ -browser no-complexity-test check |