Logo
Explore Get Started
opendev/gerrit
Code Issues Proposed changes
Files
2fcf95f7332e59d35800eb08d22fc3b56308ad4f
gerrit/tools
History
Edwin Kempin 8645dd906c Merge "Package core plugins in Gerrit war and install them on init"
2012-07-30 02:58:05 -07:00
..
deploy_api.sh
Fix output references in tools/deploy_api.sh
2012-05-18 10:33:52 -07:00
gitlog2asciidoc.py
Add --issues and --issue_numbers to gitlog2asciidoc.py
2012-03-26 12:51:38 -07:00
GoogleFormat.xml
Rewrite our build as modular maven components
2009-11-11 16:54:06 -08:00
gwtui_dbg.launch
Add the run profiles to the favorites menu because I'm lazy
2012-07-25 10:53:34 -04:00
pgm_daemon.launch
Add the run profiles to the favorites menu because I'm lazy
2012-07-25 10:53:34 -04:00
release.sh
Package core plugins in Gerrit war and install them on init
2012-07-26 09:05:28 +02:00
version.sh
tools/release.sh: Simplify our release build process
2009-12-18 14:51:07 -08:00
Powered by Gitea Version: v1.24.7 Page: 113ms Template: 4ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API