jgm/gitit — pull request #465 by jefdaj (2014-10-13 00:17:00+00:00)
Title: Add Files plugin

This adds a plugin I wrote to make dynamic lists of files. It repurposes most of the code from `fileListToHtml`. I wasn't sure how to do that gracefully so I went for the simplest changes that worked. Maybe a better option would be adding it to `Network.Gitit.Interface`?