activities
26 days ago
fra pushed to master at fra/ctl_parse
3871afc generalized StateFormula relations
5589df0 pretty printing
26 days ago
fra pushed to master at fra/ctl_parse
5315107 fixed parsing order
29 days ago
fra created branch master at fra/ctl_parse
29 days ago
fra created fra/ctl_parse
on 21 Jun
fra created branch master at fra/cli_parse
on 21 Jun
fra created fra/cli_parse
on 19 Jun
fra pushed to master at fra/chrooter
b37a931 chrooter logs
on 19 Jun
mecca pushed to master at fra/scarpa
e066d38 update dub files
on 19 Jun
mecca pushed to master at fra/scarpa
d89cbfe test url construction in urlAndPath
on 19 Jun
mecca pushed to master at fra/scarpa
9b24f04 :%s/inout/const/g (where it makes sense)
on 19 Jun
mecca pushed to master at fra/scarpa
d4c2392 fix: concatenate src path
on 16 Jun
fra pushed to master at fra/chrooter
380961d installer
on 15 Jun
fra pushed to master at fra/chrooter
c6a1dd7 README
on 14 Jun
fra pushed to master at fra/chrooter
236508a README
on 14 Jun
fra pushed to master at fra/chrooter
ab969e1 README
on 14 Jun
fra pushed to master at fra/chrooter
663ab91 README
on 14 Jun
fra pushed to master at fra/chrooter
296c77f requires root
09b3889 requires root
on 14 Jun
fra pushed to master at fra/chrooter
15c5dd7 fixed wrong tar invocation
on 14 Jun
fra pushed to master at fra/chrooter
96722bf changed script name
on 14 Jun
fra pushed to master at fra/chrooter
9fc05c5 setup gspn from chroot
on 14 Jun
mecca pushed to master at fra/scarpa
36a7650 resumeWork function
fb98775 uuid not nullable
b8fab35 UUID not nullable.
on 13 Jun
mecca pushed to master at fra/scarpa
c37ceb4 WIP
on 13 Jun
mecca pushed to master at fra/scarpa
4df4a2b Consider links that do not start with "/"
62ac73a added comma
2dc70d5 refactor urlAndpath
on 13 Jun
mecca pushed to master at fra/scarpa
5c5ec9a urld from repositories
7c85270 Merge branch 'master' of https://fragal.eu/git/fra/scarpa
fede650 removed todo
...
on 13 Jun
fra pushed to master at fra/scarpa
86a77a7 default url
on 13 Jun
fra pushed to master at fra/unito
6741c49 lft
on 12 Jun
fra pushed to master at fra/chrooter
e8a8625 tar with compression
on 12 Jun
fra pushed to master at fra/chrooter
a783514 upd
on 12 Jun
fra created branch master at fra/chrooter
on 12 Jun
fra created fra/chrooter