small renamings and gitignore changes
195f57a83062
Actions

Authored by Ahoffmann on Oct 3 2022, 09:47.

Description

small renamings and gitignore changes

Committed

Ahoffmann

Oct 3 2022, 09:47

Pushed

Ahoffmann

Oct 3 2022, 09:47

Parents

rGYACOMOfa11381ba376: minor changes

Branches

Unknown

Tags

Unknown

				Path
	M			.gitignore
	M			Makefile
	M			local/dirs.inc
	V			wk/{analysis_HeLaZ.m → analysis_gyacomo.m}
	V			wk/{analysis_gyacomo.m ← analysis_HeLaZ.m}