Files
gprbuild/.gitattributes
Pascal Obry 00e00565f8 Fix KP sections to match the expected format.
Remove the temp .gitattributes entry.

For P726-033.

Change-Id: Ied948917ed37da5b24e56e8e66d77e75f5e7875f
2016-08-16 16:30:00 +02:00

2 lines
30 B
Plaintext

install-sh no-precommit-check