[ re #80 ] using the token in the repo settings

agda · Jul 13, 2017 · 5c9252f · 5c9252f
1 parent b941190
commit 5c9252f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.dropbox_uploader.enc b/.dropbox_uploader.enc
diff --git a/.travis.yml b/.travis.yml
@@ -57,7 +57,3 @@ after_success:
 notifications:
   email: false
 
-# Github token
-env:
-  global:
-    secure: f0GRSKTlAw6FdrvkI8LjP5ZhwcGBltJ1t5+nxipqfoR3VczMxcNgXD7bdwtUojFYR48jMs2W+LxEoJcuSH4bsdCeoSfpZ0nU424MDajGh0wuhAbSYKQXPWjFOxwMgC23sCySKhDAZiqN/Wd6orwV1p5JhuJkSCHdVeyUp+hLvIw=