James Grugett 9530e55988 Remove hardcoding as dev		2022-03-15 16:53:33 -05:00
..
constants.ts	Remove hardcoding as dev	2022-03-15 16:53:33 -05:00
dev.ts	Merge Manifold for Teams infra into main codebase (#61)	2022-03-08 18:43:30 -08:00
prod.ts	Merge Manifold for Teams infra into main codebase (#61)	2022-03-08 18:43:30 -08:00
theoremone.ts	Merge Manifold for Teams infra into main codebase (#61)	2022-03-08 18:43:30 -08:00