ubuntu/+source/pygments:applied/ubuntu/disco-devel

Last commit made on 2018-12-31
Get this branch:
git clone -b applied/ubuntu/disco-devel https://git.launchpad.net/ubuntu/+source/pygments
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/disco-devel
Repository:
lp:ubuntu/+source/pygments

Recent commits

73a5aaf... by Piotr Ożarowski

2.3.1+dfsg-1 (patches applied)

Imported using git-ubuntu import.

ec24d11... by Piotr Ożarowski

docs moved to python-pygments-doc binary package

Gbp-Pq: 0003-docs-moved-to-python-pygments-doc-binary-package.patch.

15359fd... by Piotr Ożarowski

add -g parameter to pygmentize man page

Gbp-Pq: 0002-add-g-parameter-to-pygmentize-man-page.patch.

2bddceb... by Piotr Ożarowski

Change Sphinx documentation theme to 'default'

Gbp-Pq: change_docs_theme.patch.

c8e8f4d... by Piotr Ożarowski

2.3.1+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

228eb36... by Mattia Rizzolo

2.2.0+dfsg-2 (patches applied)

Imported using git-ubuntu import.

48e0638... by Mattia Rizzolo

2.2.0+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

6d62193... by Mattia Rizzolo

compatibility with python 3.7

Gbp-Pq: python_3.7.patch.

1194f9f... by Mattia Rizzolo

Fix failure with Sphinx 1.7

Gbp-Pq: sphinx_1.7.patch.

73cada5... by Mattia Rizzolo

Change Sphinx documentation theme to 'default'

Gbp-Pq: change_docs_theme.patch.