Gitlab 现已全面支持 git over ssh 与 git over https。通过 HTTPS 访问请配置带有 read_repository / write_repository 权限的 Personal access token。通过 SSH 端口访问请使用 22 端口或 13389 端口。如果使用CAS注册了账户但不知道密码，可以自行至设置中更改；如有其他问题，请发邮件至 service@cra.moe 寻求协助。

Commit 5d7926c1 authored May 25, 2017 by Zhang Yushan

Initial commit

parents

README.md

0 → 100644

+2 −0

Original line number	Diff line number	Diff line
		# SymbolicExecution
		Collective papers&materials

CRA Git | Maintained and supported by SUSTech CRA and CCSE

Admin message