github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-05-02 22:33:27 +00:00
Code Issues Releases Wiki Activity
Files
80a4198d035aeb18b4b47df2d9e4639110aa5243
PDP-10.its/build/misc.tcl
Lars Brinkhoff 80a4198d03 SEARCH, search for a string in files. 
The files can have * wildcards.
2021-09-06 13:39:11 +02:00

41 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink