diff options
| author | 2019-08-29 17:31:49 +0200 | |
|---|---|---|
| committer | 2019-08-29 17:31:49 +0200 | |
| commit | 18efce354326c78d0ae0579a163eb4ac6322deca (patch) | |
| tree | 47c3353611845a3835289dac41291ec423cc417e | |
| parent | 5f4daa9c63affbd083e915d2bde4be82d16a5b5e (diff) | |
tec: Ignore theme folders starting by xTheme- (#2511)
| -rw-r--r-- | p/themes/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/p/themes/.gitignore b/p/themes/.gitignore new file mode 100644 index 000000000..18cb4b685 --- /dev/null +++ b/p/themes/.gitignore @@ -0,0 +1 @@ +xTheme-* |
