message: Added pymdown-extensions to the CI config
diff: @@ -84,6 +84,9 @@ jobs:
  - run:
  name: Install MkDocs theme
  command: sudo pip install mkdocs-material
  + - run:
  + name: Install PyMdown Extensions
  + command: sudo pip install pymdown-extensions
  - run:
  name: Avoid hosts unknown for github
  command: echo -e "Host github.com\n\tStrictHostKeyChecking no\n" > ~/.ssh/config
  