.github
|
execute repo sync only for Mic92
|
2021-08-05 21:25:09 +02:00 |
doc
|
doc Issues: fix clone repo step
|
2017-08-10 12:54:05 +02:00 |
jeschli
|
jeschli: use new unstable remote
|
2020-10-18 19:08:12 +02:00 |
lib
|
mic92: add dns name to sandro's machine
|
2021-11-23 17:44:50 +01:00 |
makefu
|
ma ham: add tile
|
2021-12-04 17:34:25 +01:00 |
null
|
add null module
|
2015-11-08 12:40:53 +01:00 |
submodules
|
krops: 1.26.1 -> 1.26.2
|
2021-11-21 20:12:21 +01:00 |
tv
|
tv gitrepos: add couchfs
|
2021-11-27 15:57:02 +01:00 |
.gitignore
|
.gitignore: add result
|
2018-02-28 09:13:13 +01:00 |
.gitlab-ci.yml
|
gitlab-ci: run only on tags
|
2020-08-12 23:10:48 +02:00 |
.gitmodules
|
remove brockman from submodules
|
2020-04-22 16:02:43 +02:00 |
.rsync-filter
|
rsync-filter, gitignore: ignore TODO
|
2017-09-20 01:17:20 +02:00 |
ci.nix
|
ci: build in stockholm-build
|
2019-01-03 21:49:05 +01:00 |
default.nix
|
default.nix: simplify system evaluations
|
2018-11-30 11:27:47 +01:00 |