diff docs/api/01_plugins.md @ 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 61d53d2163d6
children
line wrap: on
line diff