diff options
Diffstat (limited to 'docs/users_guide/ghc_config.py.in')
| -rw-r--r-- | docs/users_guide/ghc_config.py.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in index 113d1b022f..4ff77adc9d 100644 --- a/docs/users_guide/ghc_config.py.in +++ b/docs/users_guide/ghc_config.py.in @@ -16,3 +16,5 @@ lib_versions = { } version = '@ProjectVersion@' + +llvm_version = '@LlvmVersion@' |