equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 |
4 |
5 find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \ |
5 find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \ |
6 etags \ |
6 etags \ |