5 commits

Author	SHA1	Message	Date
Dominik Picheta	64cc026ced	Fixes install_*.nims scripts on Linux.	2017-01-28 23:13:09 +01:00
Araq	4b73194bb0	koch and nims updates	2017-01-06 13:11:17 +01:00
Araq	41f32f5fb6	deprecate install_tools.nims in favor of 'koch tools'; refs #4934	2016-10-24 16:21:52 +02:00
Andreas Rumpf	c96295b380	better error checking for install_tools.nims script	2016-10-09 13:13:45 +02:00
Andreas Rumpf	d8430f5a75	tar.xz contains nimble and nimsuggest	2016-09-26 19:26:39 +02:00