Initial commit · 0e1057d79d - Gogs

Przeglądaj źródła

Initial commit

yangdi 3 lat temu

commit

0e1057d79d

3 zmienionych plików z 78 dodań i 0 usunięć

Widok podzielony Pokaż statystyki zmian

						
							+ 3
							
							- 0
						
.gitignore
							 
								Wyświetl plik
							
				@@ -0,0 +1,3 @@
			
				+# ---> Agda
			
				+*.agdai
			
				+

				
					Plik diff jest za duży
					
							+ 72
							
							- 0
						
LICENSE

						
							+ 3
							
							- 0
						
README.md
							 
								Wyświetl plik
							
				@@ -0,0 +1,3 @@
			
				+# huimv-cloud-eartag
			
				+
			
				+测试