Use #!/bin/bash instead of #!/bin/sh - devtools32

diff options

author	Timothy Redaelli <timothy.redaelli@gmail.com>	2011-12-16 17:36:17 +0100
committer	Pierre Schmitz <pierre@archlinux.de>	2011-12-20 23:05:38 +0100
commit	594f972666b4823b00041e2888faae30e9aea7a2 (patch)
tree	84739e5bc82297b59f4e493a7291e57ef34652b7 /src/lib/repo
parent	0e32334ccaf345430d5c2465cf8f9dc572e704f8 (diff)

Use #!/bin/bash instead of #!/bin/sh

Signed-off-by: Pierre Schmitz <pierre@archlinux.de>

Diffstat (limited to 'src/lib/repo')

0 files changed, 0 insertions, 0 deletions