![]() |
|
|||
File indexing completed on 2024-04-06 12:32:55
0001 #! /bin/csh 0002 0003 0004 set out = /tmp/fruboes/muons.txt 0005 rm $out 0006 zcat out/mu*.gz > $out 0007 0008 0009 ln -s $out muons.txt 0010 echo Cands `cat muons.txt | wc -l` 0011 echo Saved in $out
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |
![]() ![]() |