mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2025-12-28 17:04:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
8a6c5edc43bb4ef90feb4eabbc2520004244a011
Nim/drnim
History
Timothee Cour 4301a3da9d * honor --errorMax even for tools (eg drnim, nim doc) (#14546) 
* fix a bug that prevented nim doc compiler/nim on windows
2020-06-02 18:54:33 +02:00
..
tests
drnim improvements (#14471)
2020-05-27 18:14:24 +02:00
drnim.nim
* honor --errorMax even for tools (eg drnim, nim doc) (#14546)
2020-06-02 18:54:33 +02:00
nim.cfg
DrNim (Nim compiler with Z3 integration) (#13743)
2020-03-31 22:54:48 +02:00