Update scilla.scon add type and procedure#2
Open
shinragriever wants to merge 1 commit intoman15h:masterfrom
Open
Update scilla.scon add type and procedure#2shinragriever wants to merge 1 commit intoman15h:masterfrom
shinragriever wants to merge 1 commit intoman15h:masterfrom
