Arya Irani 30c8881c36 a few fixes: ... - try not to continue working out of git cache - turn off cursor during sync22 - after codebase upgrade, set the replaced branch as root instead of the original - disable root branch update watch thing that didn't work - add term to git-simple sub-namespace test		2021-04-27 12:55:53 -06:00
..
benchmarks/runtime	wip; next is add term to index	2020-10-13 16:54:08 -04:00
prettyprintdemo	wip; next is add term to index	2020-10-13 16:54:08 -04:00
src/Unison	a few fixes:	2021-04-27 12:55:53 -06:00
tests	a few fixes:	2021-04-27 12:55:53 -06:00
transcripts	Merge branch 'trunk' into wip/codebase2	2021-04-06 16:23:45 -06:00
unison	indent call to launch	2021-04-25 20:57:20 -04:00
LICENSE	wip; next is add term to index	2020-10-13 16:54:08 -04:00
package.yaml	⅄ trunk → codebase2-merge-trunk	2021-04-25 20:46:03 -04:00
unison-parser-typechecker.cabal	Merge remote-tracking branch 'origin/topic/dump-namespace' into wip/codebase2	2021-04-26 22:19:23 -06:00