|
4156fea900
|
[filesystem] Add ubuntu as supported distribution.
|
2021-07-28 12:56:39 +02:00 |
|
|
17ab4bd80c
|
Add Alpine Linux as supported for __filesystem.
|
2020-08-06 11:45:05 +02:00 |
|
Darko Poljak
|
62378dc8b9
|
Change shebang to #!/bin/sh -e
|
2017-06-28 13:19:32 +02:00 |
|
Darko Poljak
|
9312bcb6b0
|
chmod +x *manifest *gencode-*
|
2017-06-28 12:52:10 +02:00 |
|
Darko Poljak
|
2d72c08e9b
|
Fix spelling.
|
2016-08-22 09:24:48 +02:00 |
|
Darko Poljak
|
b5a79fbc8f
|
Fix spelling (Dmitry Bogatov patch).
|
2016-08-22 08:11:49 +02:00 |
|
Darko Poljak
|
f40e6659f7
|
Make man pages for new types to be by convention. Fix spellings.
|
2016-08-18 10:41:58 +02:00 |
|
Daniel Heule
|
8747474fd5
|
device now defaults to object_id
|
2016-08-02 11:06:17 +02:00 |
|
Daniel Heule
|
13b2443d6b
|
last cleanups
|
2016-08-02 10:07:27 +02:00 |
|
Daniel Heule
|
36c20230b8
|
optimize the usage of explorers for __filesystem
|
2016-07-29 15:27:13 +02:00 |
|
Daniel Heule
|
2ed762cd72
|
new type __filesystem, first version
|
2016-07-28 14:48:32 +02:00 |
|