diff options
author | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2019-02-17 13:33:12 +0100 |
---|---|---|
committer | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2019-02-17 13:33:12 +0100 |
commit | 58f37377c851960cbf21fac1caf38ab1e66c7d6c (patch) | |
tree | dc8385b3b3ca238e603be92ce623848cb502db96 | |
parent | 7bac366953005233fc3c8736e6f1cd5798e65e28 (diff) |
Add "ge.*" to src/.gitignore
-rw-r--r-- | src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index a2a9010..7c69ebe 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -4,6 +4,7 @@ damage.* dpms.* dri2.* dri3.* +ge.* glx.* present.* randr.* |