Jörg Thalheim
a1b7dec225
Merge pull request #26502 from vdemeester/update-gogland
...
idea.gogland: 171.4424.55 -> 171.4694.35
2017-06-10 21:59:46 +01:00
Jörg Thalheim
0cec85d0eb
jetbrains.clion: fix bundled tools
2017-06-10 21:46:56 +01:00
Vincent Demeester
0a6dd6d07b
idea.gogland: 171.4424.55 -> 171.4694.35
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2017-06-10 16:33:11 +02:00
Winnie Quinn
6736ec318a
vscode: 1.12.2 -> 1.13.0
2017-06-09 22:17:23 -04:00
Michael Weiss
b615c2e992
android-studio: 2.3.2.0 -> 2.3.3.0
2017-06-09 18:46:54 +02:00
Joachim F
7badb92629
Merge pull request #26404 from ambrop72/kdevelop-511
...
kdevelop: 5.0.4 -> 5.1.1
2017-06-09 08:44:01 +01:00
Jörg Thalheim
ffdfa662fc
Merge pull request #26476 from romildo/upd.jetbrains
...
jetbrains.clion: 2017.1.1 -> 2017.1.3, jetbrains.idea-community: 2017.1.3 -> 2017.1.4, jetbrains.idea-ultimate: 2017.1.3 -> 2017.1.4
2017-06-08 21:35:24 +01:00
Tuomas Tynkkynen
97d29ffbfd
nano: 2.8.3 -> 2.8.4
2017-06-08 23:13:06 +03:00
romildo
277b562324
jetbrains.idea-community: 2017.1.3 -> 2017.1.4
2017-06-08 16:57:50 -03:00
romildo
bc1f59fb4f
jetbrains.idea-ultimate: 2017.1.3 -> 2017.1.4
2017-06-08 16:45:14 -03:00
romildo
b57a14810b
jetbrains.clion: 2017.1.1 -> 2017.1.3
2017-06-08 15:54:51 -03:00
Urban Škudnik
df8837ccfa
jetbrains.idea-ultimate: 2017.1.2 -> 2017.1.3
2017-06-07 17:17:28 +02:00
Ambroz Bizjak
8f4619bb3d
kdevelop: 5.0.4 -> 5.1.1
...
Including also a patch for bug https://bugs.kde.org/show_bug.cgi?id=379433
which is a quite annoying regression from 5.0.4. The patch is the same as
the change committed upstream.
2017-06-06 18:50:43 +02:00
Gabriel Ebner
ec418babad
Merge pull request #26364 from winniequinn/vscode-1.12.2
...
vscode: 1.12.1 -> 1.12.2
2017-06-04 08:23:42 +02:00
Michael Alan Dorman
fdb3617888
melpa-packages: 2017-05-30
2017-05-30 15:56:33 -04:00
Michael Alan Dorman
60cc275ace
melpa-stable-packages: 2017-05-30
2017-05-30 15:56:33 -04:00
Michael Alan Dorman
786388b85b
elpa-packages: 2017-05-30
2017-05-30 15:56:33 -04:00
Winnie Quinn
d55c21d89d
vscode: 1.12.1 -> 1.12.2
2017-05-27 13:00:26 -04:00
Joachim F
7596d21f69
Merge pull request #26102 from mdorman/emacs-updates
...
Automated emacs package updates
2017-05-26 12:15:35 +01:00
Franz Pletz
4820c72cf7
Merge pull request #26107 from NeQuissimus/atom_1_17_2
...
atom: 1.17.0 -> 1.17.2
2017-05-26 01:28:02 +02:00
Tim Steinbach
9d8942c578
atom: 1.17.0 -> 1.17.2
2017-05-25 18:20:12 -04:00
Michael Alan Dorman
33916338f3
melpa-packages: 2017-05-25
...
Removed:
- metafmt: repository no longer on github
- nikola: repository no longer accessible (SSL issues)
- org-mac-iCal: repository no longer accessible
- org-mac-link: repository no longer accessible
2017-05-25 17:25:29 -04:00
Michael Alan Dorman
688cfcb1ba
melpa-stable-packages - 2017-05-25
...
Removals:
- metafmt: repository no longer on github
- org-mac-iCal: repository no longer accessible
2017-05-25 17:25:28 -04:00
Michael Alan Dorman
46689baa83
org-packages: 2017-05-25
2017-05-25 17:25:28 -04:00
Michael Alan Dorman
a310e6c27b
elpa-packages: 2017-05-25
2017-05-25 17:25:28 -04:00
Valentin Robert
200d5c0c99
proofgeneral: revert needed deleted file
2017-05-25 12:51:04 -07:00
Aleksey Zhukov
b6f2c44b8e
pycharm-professional: 2017.1.2 -> 2017.1.3
2017-05-25 14:46:28 +03:00
Aleksey Zhukov
d1844f480b
pycharm-community: 2017.1.2 -> 2017.1.3
2017-05-25 14:46:11 +03:00
Joachim F
3ba63d0b05
Merge pull request #25905 from Ptival/proofgeneral-head
...
proofgeneral_HEAD: fix
2017-05-21 22:45:47 +01:00
Joachim F
062e32d5c1
Merge pull request #25673 from drdaeman/pycharm-2017.1.2-master
...
Pycharm 2017 -> 2017.1.2
2017-05-21 17:54:30 +01:00
Joachim Fasting
16b6ee3608
nano: use https for meta.homepage
...
The http variant is a permanent redirect to https
2017-05-21 18:08:13 +02:00
Michael Weiss
0d0ab51a06
android-studio: 2.3.1.0 -> 2.3.2.0
2017-05-21 16:36:19 +02:00
Jörg Thalheim
d980f90150
Merge pull request #25941 from Kendos-Kenlen/webstorm-2017.1.3
...
idea.webstorm: 2017.1 -> 2017.1.3
2017-05-20 18:30:35 +01:00
Jörg Thalheim
d1504bbe75
Merge pull request #25374 from jflanglois/android-studio-2.3
...
android-studio: 2.2.3.0 -> 2.3.1.0
2017-05-20 18:02:03 +01:00
Gauthier POGAM--LE MONTAGNER
282fba7f0c
idea.webstorm: 2017.1 -> 2017.1.3
2017-05-20 16:53:20 +02:00
Shea Levy
877f95f12b
nix-buffer: 3.0.0 -> 3.0.1
2017-05-20 09:02:36 -04:00
Jens Binkert
72589c9d30
Typora: init at 0.9.29 ( #25899 )
...
* Typora: init at 0.9.29
* typora: adapt description
2017-05-20 08:52:11 +01:00
Vincent Demeester
f28f96b235
idea.gogland: 171.3780.106 -> 171.4424.55
...
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2017-05-19 17:19:54 +02:00
Jörg Thalheim
9f433595be
Merge pull request #25886 from jdanekrh/jd_idea2017.1.3
...
idea-community: 2017.1.1 -> 2017.1.3
2017-05-19 16:00:58 +01:00
Valentin Robert
eaef55f699
proofgeneral_HEAD: fix for files removed upstream
2017-05-18 16:43:38 -07:00
Lancelot SIX
e08cb81b31
nano: 2.8.2 -> 2.8.3
...
See http://lists.gnu.org/archive/html/info-gnu/2017-05/msg00007.html
for release announcement
2017-05-18 15:53:37 +02:00
Jiri Danek
ccef4810ca
idea-community: 2017.1.1 -> 2017.1.3
2017-05-18 13:11:31 +02:00
Tim Steinbach
ca34420a4c
atom: 1.16.0 -> 1.17.0
2017-05-16 20:30:07 -04:00
Thomas Tuegel
0442676fd6
Merge pull request #25691 from ambrop72/kdevelop-shell
...
kdevelop: Fix shell integration (issue 25559)
2017-05-13 11:24:40 -05:00
Thomas Tuegel
8b17444047
Merge pull request #25693 from mdorman/emacs-updates
...
Automated emacs package updates
2017-05-11 08:25:35 -05:00
Robert Helgesson
e281e59711
eclipse-plugin-autodetect-encoding: init at 1.8.3
2017-05-11 14:40:43 +02:00
Sophie Taylor
fb0410c208
proofgeneral: 2017-03-13 -> 2017-05-06 ( #25695 )
2017-05-11 07:36:00 +01:00
Michael Alan Dorman
291a00a502
melpa-packages: 2017-05-10
2017-05-10 19:46:11 -04:00
Michael Alan Dorman
580a4e6003
melpa-stable-packages: 2017-05-10
2017-05-10 19:46:11 -04:00
Michael Alan Dorman
ab663fee15
elpa-packages: 2017-05-10
2017-05-10 19:46:11 -04:00