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

3 Commits

Author SHA1 Message Date
Aaron Novstrup
5a841f30f5 fix stray case .. of instances and opportunities for cases in unison-src 2020-02-21 17:05:18 -08:00
Aaron Novstrup
1f7f106d8f replace case .. of with match .. with in transcripts 2020-02-07 19:00:43 -08:00
Runar Bjarnason
38f7d1eda2 Test the preservation of user type variables 2019-10-23 15:27:35 -04:00