summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2022-06-03 15:57:06 +0200
committerTom Smeding <tom@tomsmeding.com>2022-06-03 15:57:06 +0200
commitdba9bbcffc6436d37dec362b03dfe84c9707add6 (patch)
treee9dfe4195c64e19129e1d9cf77a6e683a9a377fc /.gitignore
parentdf15ed04bd85105178e236b6ca8caa5c78f4e523 (diff)
Use weak symbol for rtsConfig (support existence of TH in client programs)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions