diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-27 15:08:47 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-27 15:08:47 +0100 |
commit | 5fc5882b4263d995f509c7c8bb62f299d502b53b (patch) | |
tree | 316490e4db52aad047e28fd4adbe8a5cf6962cd4 /tools/editor/icons/icon_remove.png | |
parent | 1d99e71d94add700ece9b1bf3a708ba33e6e1f75 (diff) | |
parent | 050caee1228967b0d03fdc33843774c91584255b (diff) |
Merge pull request #3484 from akien-mga/pr-travis-badge
Add travis-ci badge to show the status of master
Diffstat (limited to 'tools/editor/icons/icon_remove.png')
0 files changed, 0 insertions, 0 deletions