Folder Path

/theorems/.git/

6 directories 8 files 1.4 KiB total

	Name	Size	Modified
	Up
	branches/	—	01/26/2021 05:39:50 PM +00:00
	hooks/	—	01/26/2021 05:39:50 PM +00:00
	info/	—	01/26/2021 05:39:49 PM +00:00
	logs/	—	01/26/2021 05:39:49 PM +00:00
	objects/	—	05/06/2023 01:04:35 PM +00:00
	refs/	—	01/26/2021 05:39:50 PM +00:00
	COMMIT_EDITMSG	17 B	01/26/2021 05:39:45 PM +00:00
	config	261 B	01/26/2021 05:39:45 PM +00:00
	description	73 B	01/26/2021 05:39:45 PM +00:00
	FETCH_HEAD	98 B	05/07/2023 09:48:52 AM +00:00
	HEAD	23 B	01/26/2021 05:39:45 PM +00:00
	index	801 B	01/26/2021 05:39:46 PM +00:00
	ORIG_HEAD	41 B	01/26/2021 05:39:45 PM +00:00
	packed-refs	114 B	01/26/2021 05:39:51 PM +00:00