Skip to content

Commit f8b0732

Browse files
committed
refresh another transcript
1 parent 8deff35 commit f8b0732

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

unison-src/transcripts-manual/docs.to-html.output.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ some.outside = 3
2121
I found and typechecked these definitions in scratch.u. If you
2222
do an `update`, here's how your codebase would change:
2323
24-
These new definitions are ok to `update`:
24+
New definitions:
2525
2626
some.ns.direct : Nat
2727
some.ns.direct.doc : Doc2

0 commit comments

Comments
 (0)