This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-02-07 11:50:24 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
tool
/
depot
History
Christian Helmuth
a7dadd9dae
depot: ignore some files on pkg generation
...
Now, the typical gitignore patterns *~ *.rej *.orig *.swp are not added to the pkg.
2018-05-31 17:07:21 +02:00
..
mk
depot: ignore some files on pkg generation
2018-05-31 17:07:21 +02:00
build
depot: add REBUILD argument to create, build tools
2017-12-21 15:01:50 +01:00
create
depot: add REBUILD argument to create, build tools
2017-12-21 15:01:50 +01:00
dependencies
depot: improved args check in dependencies tool
2017-12-21 15:01:45 +01:00
download
tool/depot: download archives from web server
2017-05-31 13:16:24 +02:00
extract
depot: move versions to subdirectory
2017-12-21 15:01:45 +01:00
publish
tool/publish: fix help for PUBLIC_DIR
2018-02-28 11:05:03 +01:00
publish_current
depot: tool for publishing current versions
2018-05-03 16:11:53 +02:00