https://github.com/ModelOriented/DrWhy
Tip revision: 2cb4580ff41843769ab967ab6563b204d1a81f32 authored by Hubert Baniecki on 21 February 2023, 16:34:36 UTC
Merge pull request #17 from mikolajsp/master
Merge pull request #17 from mikolajsp/master
Tip revision: 2cb4580
DrWhy.Rproj
Version: 1.0
RestoreWorkspace: No
SaveWorkspace: No
AlwaysSaveHistory: Default
QuitChildProcessesOnExit: Default
EnableCodeIndexing: Yes
UseSpacesForTab: Yes
NumSpacesForTab: 2
Encoding: UTF-8
RnwWeave: knitr
LaTeX: XeLaTeX
AutoAppendNewline: Yes
StripTrailingWhitespace: Yes
BuildType: Package
PackageUseDevtools: Yes
PackageInstallArgs: --no-multiarch --with-keep.source
PackageRoxygenize: rd,collate,namespace
