diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-08-10 17:17:07 +0200 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-08-10 17:17:07 +0200 |
| commit | d384c661fef16fcfb5551db4cc1a2e60fb7cbed2 (patch) | |
| tree | 3e38bf24c84ad55145d31d9a3a082206352b46e2 /docs/requirements.txt | |
| parent | 9a2eb0f1d3f731609767c8043664dad0a0d72b6a (diff) | |
docs: Re-integrate
Diffstat (limited to 'docs/requirements.txt')
| -rw-r--r-- | docs/requirements.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/requirements.txt b/docs/requirements.txt deleted file mode 100644 index e0f2f62df..000000000 --- a/docs/requirements.txt +++ /dev/null @@ -1 +0,0 @@ -Pygments==2.1.3 |