yuyi f9fc136c24 all: rename InterfaceDecl.ifaces to InterfaceDecl.embeds (#13475)		2022-02-15 11:17:39 +02:00
..
tools	all: rename InterfaceDecl.ifaces to InterfaceDecl.embeds (#13475)	2022-02-15 11:17:39 +02:00
v	repl: reduce the vertical size used by V's logo, put it on the left of the info texts (#13451)	2022-02-13 11:41:36 +02:00