comparison docs/conf.py @ 8258:fd92fe65a2ab

eslint: fix "is already defined"
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 10 Jan 2020 00:34:22 +0100
parents e63bcce18fef
children 2ff983214ea0
comparison
equal deleted inserted replaced
8257:d6efaa91e967 8258:fd92fe65a2ab