Showing
- tools/pylib/ps_tools/__init__.py 35 additions, 0 deletionstools/pylib/ps_tools/__init__.py
- tools/update-github-repo 89 additions, 0 deletionstools/update-github-repo
- tools/update-gitlab-repo 89 additions, 0 deletionstools/update-gitlab-repo
- tools/update-nixpkgs 68 additions, 0 deletionstools/update-nixpkgs
tools/pylib/ps_tools/__init__.py
0 → 100644
This diff is collapsed.
tools/update-github-repo
0 → 100755
This diff is collapsed.
tools/update-gitlab-repo
0 → 100755
This diff is collapsed.
tools/update-nixpkgs
0 → 100755
This diff is collapsed.