1 2 3 4 5
#!/bin/sh # This bootstrap script currently does nothing, but # is there for uniformity, since almost all our other # repos have a bootstrap script.