mirror of
https://github.com/FlipsideCrypto/user_metrics.git
synced 2026-02-06 11:17:49 +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
|