Changeset 55 in code
- Timestamp:
- Oct 23, 2023, 11:24:54 PM (18 months ago)
- Location:
- trunk
- Files:
-
- 5 added
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/.gitignore
r33 r55 9 9 _build 10 10 *.htm 11 index.html -
trunk/Makefile
r51 r55 26 26 tar czvf "logarion-${OS}-${MACHINE}-${DATE}-${COMMIT}" txt.exe readme.txt 27 27 rm txt.exe 28 docs: 29 ${MAKE} -C txt 28 30 install: 29 31 dune install --prefix ${PREFIX}
Note:
See TracChangeset
for help on using the changeset viewer.