Changeset 17 in code for trunk/cli/txt.ml
- Timestamp:
- Oct 21, 2022, 7:53:46 PM (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/cli/txt.ml
r9 r17 18 18 Pull.term; 19 19 Read.term; 20 Recent.term; 20 21 Topics.term; 21 22 ] with `Error _ -> exit 1 | _ -> exit 0
Note:
See TracChangeset
for help on using the changeset viewer.