search

martinring / cobra

Proof and Code Presentation Framework
http://www.flatmap.net/cobra/
GNU Lesser General Public License v3.0
21 stars 3 forks source link

Global Config #4

Open martinring opened 8 years ago

martinring commented 8 years ago

Should be ~/.config/cobra.conf on linux ~/Library/Preferences/cobra.conf on macOS and ~/AppData/.../cobra.conf on windows