Marco 64090c3577 remove unused options and prune on fetch

2023-08-26 14:27:10 +02:00

..

.gitconfig

remove unused options and prune on fetch

2023-08-26 14:27:10 +02:00

.gitignore

move gitconfig to top of home

2022-08-30 12:05:37 +02:00