diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-11 08:29:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-11 08:29:27 +0200 |
| commit | 74796d9b6cf1663029a5fa6b5024b236746e506a (patch) | |
| tree | 3498c77d6dcccb83fa0146760b5a12d00027d5b5 /thirdparty/misc/pcg.h | |
| parent | f8d2bc6a87cdb7ce0d73de77276d34e020ed0c0b (diff) | |
| parent | 6c5ac57ed7cd145dfdb68f699931892135597f60 (diff) | |
Merge pull request #18784 from YeldhamDev/ignore_tags
Added "*.tags" (Made by Geany's Ctags plugin) to the ".gitignore" file
Diffstat (limited to 'thirdparty/misc/pcg.h')
0 files changed, 0 insertions, 0 deletions