[prompt] lean: Update submodule · 45927aa8a2 - Lattuga Git Repository

Procházet zdrojové kódy

[prompt] lean: Update submodule

Closes #332

Oskar Grunning před 5 roky

rodič

4f6ae96b12

revize

45927aa8a2

1 změnil soubory, kde provedl 1 přidání a 1 odebrání

Rozdělené zobrazení Ukázat statistiku rozdílových dat

						
							+ 1
							
							- 1
						
modules/prompt/external-themes/lean
							 
								Zobrazit soubor
							
				@@ -1 +1 @@
			
				-Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8
			
				+Subproject commit f67f414e4c8317811fdd6c4f93b4cfe7962ede13