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 |