mirror of
https://github.com/WASHNote/washweb-website
synced 2024-07-27 12:57:32 +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
|