Snippets Groups Projects

There was a problem fetching the pipeline summary.

Commit 2ebe75bf authored 7 years ago by Ralf Jung

stop excluding files from git exports

parent 6b837bc4

No related branches found

No related tags found

No related merge requests found

Pipeline #

Hide whitespace changes

Inline Side-by-side

Showing with 0 additions and 2 deletions

deleted 100644 → 0

+ 0

− 2

View file @ 6b837bc4

		opam export-ignore
		.git* export-ignore

Please register or to comment