Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/ucat
changeset 4514 78eda600f35d
parent 4513 6de428eac512
child 4515 44af72721564
equal deleted inserted replaced
4513:6de428eac512 4514:78eda600f35d 
     1 #!/bin/bash
 
       
     2 #
 
       
     3 # $Id$
 
       
     4 #
 
       
     5 # ucat - uninterruptible cat.
 
       
     6 
       
     7 exec tee -i /dev/null "$@"
isabelle