|
|
ca489b0a8c
|
do not install full android sdk
|
2017-07-01 12:01:07 +02:00 |
|
|
|
dc4b8e95d3
|
fix build
|
2017-06-02 09:28:08 +02:00 |
|
|
|
dae7b3a35f
|
Update coq and use default emacs.
|
2017-02-10 09:34:34 +01:00 |
|
|
|
1909d263af
|
software updates
|
2017-01-28 08:28:50 +01:00 |
|
|
|
58e1f382d9
|
Use my own emacs, with gtk3 and webkit.
|
2016-12-26 17:22:22 +01:00 |
|
|
|
d0ce6a025f
|
add ninja, loc, atom
|
2016-11-14 10:47:30 -05:00 |
|
|
|
8d4e2f2f25
|
add clion
|
2016-09-21 09:11:17 -04:00 |
|
|
|
baee46a6ef
|
theba: switch to modesetting driver
|
2016-08-01 09:11:06 +02:00 |
|
|
|
3613c12b47
|
Refactor systemPackages. Do not install everything on euhadra.
|
2016-07-22 13:01:40 +02:00 |
|
