Kamil Bysiec kbysiec

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

	{
	/* editor */
	"editor.tabSize": 2,
	"editor.foldingStrategy": "auto",
	"editor.fontFamily": "Geist Mono, monospace",
	"editor.fontLigatures": true,
	"editor.fontSize": 15,
	"editor.lineHeight": 0,
	"editor.smoothScrolling": true,
	"editor.cursorSmoothCaretAnimation": "on",