kfuglsang/Padr — Issue #19: Project settings
Author: kfuglsang
Created: 2012-01-21 12:26:43+00:00
State: open

Perhaps something like a ".project" file containing settings for a project

- Authors
- Title
- Export formats
- Various typesetting hacks
- ...