diff options
Diffstat (limited to 'etc/inc/allow-common-devel.inc')
-rw-r--r-- | etc/inc/allow-common-devel.inc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/inc/allow-common-devel.inc b/etc/inc/allow-common-devel.inc index 4e460fc10..9576239f3 100644 --- a/etc/inc/allow-common-devel.inc +++ b/etc/inc/allow-common-devel.inc | |||
@@ -8,8 +8,13 @@ noblacklist ${HOME}/.gitconfig | |||
8 | noblacklist ${HOME}/.git-credentials | 8 | noblacklist ${HOME}/.git-credentials |
9 | 9 | ||
10 | # Java | 10 | # Java |
11 | noblacklist ${HOME}/.ammonite | ||
12 | noblacklist ${HOME}/.config/jgit | ||
13 | noblacklist ${HOME}/.g8 | ||
11 | noblacklist ${HOME}/.gradle | 14 | noblacklist ${HOME}/.gradle |
15 | noblacklist ${HOME}/.ivy2 | ||
12 | noblacklist ${HOME}/.java | 16 | noblacklist ${HOME}/.java |
17 | noblacklist ${HOME}/.sbt | ||
13 | 18 | ||
14 | # Node.js | 19 | # Node.js |
15 | noblacklist ${HOME}/.node-gyp | 20 | noblacklist ${HOME}/.node-gyp |