Skip to main content

Browse the archive

Revision 1da331f9ef30e13269e45ae73bbe4a4bca679ae6 authored by Benjamin Beurdouche on 04 June 2018, 10:54:55 UTC, committed by GitHub on 04 June 2018, 10:54:55 UTC 
Merge pull request #124 from franziskuskiefer/fix-kremlin-version
 
Use fixed kremlin version
2 parent s 746a0b8 + 41ee5d2
Raw File
Makefile 
clean:
	$(MAKE) clean -C experimental
back to top