mirror of
https://github.com/FlipsideCrypto/user_metrics.git
synced 2026-02-06 03:07:03 +00:00
14 lines
205 B
Plaintext
14 lines
205 B
Plaintext
Version: 1.0
|
|
|
|
RestoreWorkspace: Default
|
|
SaveWorkspace: Default
|
|
AlwaysSaveHistory: Default
|
|
|
|
EnableCodeIndexing: Yes
|
|
UseSpacesForTab: Yes
|
|
NumSpacesForTab: 2
|
|
Encoding: UTF-8
|
|
|
|
RnwWeave: Sweave
|
|
LaTeX: pdfLaTeX
|