Changeset 9 in code for trunk/cli/txt.ml


Ignore:
Timestamp:
Jun 19, 2022, 9:01:11 PM (3 years ago)
Author:
fox
Message:

Txt read & optional path printing for txt list

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/cli/txt.ml

    r6 r9  
    1717        Publish.term;
    1818        Pull.term;
     19        Read.term;
    1920        Topics.term;
    2021        ] with `Error _ -> exit 1 | _ -> exit 0
Note: See TracChangeset for help on using the changeset viewer.