awk
Filename extensions: awk
Probably an AWK
script
; it can be made to run on any machine that has
awk
.
![[home]](/Icons/Extras/lilhome.gif){kind=icon}
![[up]](/Icons/Extras/lilup.gif){kind=icon}