diff docs/templates/section-page.html @ 910:371731b555ec

plugins: Fix a crash bug when the plugins directory doesn't exist.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 23 Jul 2017 18:01:58 -0700
parents 66f8bbe8de91
children fd95fef51705
line wrap: on
line diff