diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-07-21 11:00:08 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-07-21 11:00:08 +0200 |
commit | f387cb1b38fe8b09e4cbca9816caaa840de55c5b (patch) | |
tree | 55788e9ac44fc6833a35732a1a273f26a0d2811a /docs/requirements.txt | |
parent | 40566ec98e23b93f538a50bc51f5c46d8e5056bc (diff) | |
parent | 2c0d1ccdcd95de0bddeb39dca2e4d08f0d8056d7 (diff) |
doc: Merge commit '2c0d1ccdcd95de0bddeb39dca2e4d08f0d8056d7'
Diffstat (limited to 'docs/requirements.txt')
-rw-r--r-- | docs/requirements.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 000000000..e0f2f62df --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1 @@ +Pygments==2.1.3 |