release-tools, review-tools: bureau => omc rename
[tools.git] / review-tools /
drwxr-xr-x   ..
-rw-r--r-- 3134 README
-rwxr-xr-x 2601 addrev
-rwxr-xr-x 1992 ghmerge
-rwxr-xr-x 6375 gitaddrev
-rwxr-xr-x 2431 gitlabutil
-rwxr-xr-x 1094 opensslbuild
-rwxr-xr-x 761 opensslpull
-rwxr-xr-x 1190 pick-to-branch