unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity
17,084 Commits 413 Branches 90 Tags 321 MiB
trunk
Commit Graph

4 Commits

Author SHA1 Message Date
Chris Penner
5ca1eb3b8d Replace '.' references with scratch/main 2024-06-25 11:11:07 -07:00
Arya Irani
16596c4566 add an optional destination path to builtins.merge{,io} 2024-04-28 23:01:02 -04:00
Arya Irani
1005659f8a fix add field to record 2023-11-08 23:54:01 -05:00
Mitchell Rosen
4648df3c94 more type update transcripts 2023-11-08 09:33:42 -05:00