09ef98e7ae · remove Makefile from debian branch · Updated 2013-05-10 14:07:11 +02:00
c24b5051c0 · User-Agent header no longer needs a leading space · Updated 2013-02-23 12:22:33 +01:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?