diff console.xml @ 263:230cd2fc2e29

Moved CtrlP auto-ignore extension to a stand-alone plugin.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 24 Jan 2015 13:28:21 -0800
parents 1c3e3740325f
children
line wrap: on
line diff