blob: 5c356fd500195e2396b4df5993f5e89122361c21 [file] [log] [blame]
#!/bin/bash
set -euo pipefail
! grep external "$1"