diff options
| author | Pierre-Marie Pédrot | 2019-05-08 16:32:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-08 16:32:31 +0200 |
| commit | 1d135d8005d6af37e0965db3f555b03db92546fd (patch) | |
| tree | 6508604ececdcd844aa03581187b83ff98089635 /kernel | |
| parent | 3786fe758d6f3082b425070f961b805993bffaf4 (diff) | |
| parent | b474e39c2c21122de64a76e087508770763250f1 (diff) | |
Merge PR #10086: Fix gitignore for ltac2
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions