| === guiverc_d is now known as guiverc | ||
| WoC | which llvm is default in disco dingo ? | 22:26 |
|---|---|---|
| WoC | ( Looking to use 6.0 ) | 22:27 |
| hggdh | If WoC returns: currently I have LLVM v6, 7, and 8 on Disco, default is 8 | 22:48 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!