```
#!htmlcomment

This page is maintained automatically by a script.  Don't modify this page by hand,
your changes will just be overwritten the next time the script runs.  Talk to your
Friendly Neighborhood Repository Maintainer if you need to change something here.

```

```
#!html
<h1>Build tools</h1>

<p>A collection of scripts I find useful when working with the Cryptech
git repositories.  YMMV.  No warantee expressed or implied.  If one of
these scripts breaks, you get to keep both pieces.</p>
```

[[RepositoryIndex(format=table,glob=user/sra/build-tools)]]

| Clone `https://git.cryptech.is/user/sra/build-tools.git` |
|---|