summary refs log tree commit diff stats
path: root/drnim/nim.cfg
Commit message (Expand)AuthorAgeFilesLines
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-311-0/+18
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-01-25 00:41:52 +0000