Jakob Borg
b0a525a504
gui, man, authors: Update docs, translations, and contributors
2020-12-09 07:45:25 +01:00
Jakob Borg
c6f2ec9400
gui, man, authors: Update docs, translations, and contributors
2020-11-25 07:45:27 +01:00
Jakob Borg
b1db328931
gui, man, authors: Update docs, translations, and contributors
2020-10-07 07:45:24 +02:00
Jakob Borg
3fe331c2d0
gui, man, authors: Update docs, translations, and contributors
2020-09-30 07:45:22 +02:00
Jakob Borg
44658258d2
gui, man, authors: Update docs, translations, and contributors
2020-09-09 07:45:21 +02:00
Jakob Borg
0d3db38b2f
gui, man, authors: Update docs, translations, and contributors
2020-09-02 07:45:21 +02:00
Jakob Borg
0ca737b528
gui, man, authors: Update docs, translations, and contributors
2020-08-26 07:45:25 +02:00
Jakob Borg
d91d77a2b2
gui, man, authors: Update docs, translations, and contributors
2020-07-22 07:45:19 +02:00
Jakob Borg
29cd156e71
gui, man, authors: Update docs, translations, and contributors
2020-07-15 07:46:14 +02:00
Jakob Borg
3be9f68b51
gui, man, authors: Update docs, translations, and contributors
2020-06-17 07:45:21 +02:00
Jakob Borg
3e4a90a2ba
gui, man, authors: Update docs, translations, and contributors
2020-06-03 07:45:41 +02:00
Jakob Borg
77dd874383
gui, man, authors: Update docs, translations, and contributors
2020-05-20 07:45:28 +02:00
Jakob Borg
8419c05794
gui, man, authors: Update docs, translations, and contributors
2020-05-13 07:45:31 +02:00
Jakob Borg
78a741d0be
gui, man, authors: Update docs, translations, and contributors
2020-04-22 07:45:34 +02:00
Jakob Borg
7ce20f197b
gui, man, authors: Update docs, translations, and contributors
2020-04-01 07:45:33 +02:00
Jakob Borg
83f6da8dca
authors: Fixup keevBush
2020-03-25 10:03:23 +01:00
Jakob Borg
1a29296d9d
gui, man, authors: Update docs, translations, and contributors
2020-03-25 07:45:35 +01:00
Jakob Borg
2ae3ea0d52
gui, man, authors: Update docs, translations, and contributors
2020-03-18 07:45:30 +01:00
Jakob Borg
eddc8d3ff2
authors: Cleanup on request
2020-03-02 16:31:29 +01:00
Jakob Borg
7b5551248a
gui, man, authors: Update docs, translations, and contributors
2020-02-19 07:45:29 +01:00
Jakob Borg
b4dc15bc06
gui, man, authors: Update docs, translations, and contributors
2020-02-05 07:45:30 +01:00
Jakob Borg
b9879e2013
gui, man, authors: Update docs, translations, and contributors
2020-01-22 07:45:33 +01:00
Jakob Borg
1b52197f71
gui, man, authors: Update docs, translations, and contributors
2020-01-11 12:56:45 +01:00
Jakob Borg
bc7dd02e2b
authors: Update carstenhag (Moter8) ( fixes #5919 )
2019-08-01 17:35:45 +02:00
Jakob Borg
6b74cdc613
gui, man, authors: Update docs, translations, and contributors
2019-06-12 07:45:26 +02:00
Jakob Borg
6e8aa0ec25
gui, man, authors: Update docs, translations, and contributors
2019-06-05 07:45:26 +02:00
Jakob Borg
98cda96b1c
gui, man, authors: Update docs, translations, and contributors
2019-05-22 07:45:27 +02:00
Jakob Borg
1da9317a09
authors: Update acolomb ( fixes #5726 )
2019-05-15 14:47:35 +02:00
Jakob Borg
c02aed0a21
gui, man, authors: Update docs, translations, and contributors
2019-05-15 07:45:24 +02:00
Jakob Borg
59e1349499
gui, man, authors: Update docs, translations, and contributors
2019-05-08 07:45:28 +02:00
Jakob Borg
26e6d94c00
gui, man, authors: Update docs, translations, and contributors
2019-05-01 07:45:25 +02:00
Jakob Borg
24967e99a7
gui, man, authors: Update docs, translations, and contributors
2019-03-13 07:45:25 +01:00
Jakob Borg
88b0ce892d
gui, man, authors: Update docs, translations, and contributors
2019-02-27 07:45:23 +01:00
Jakob Borg
5fd333e4f7
gui, man, authors: Update docs, translations, and contributors
2019-02-13 07:45:23 +01:00
Jakob Borg
b076031bfa
gui, man, authors: Update docs, translations, and contributors
2019-02-06 07:45:24 +01:00
Jakob Borg
78ccedfeec
gui, man, authors: Update docs, translations, and contributors
2019-01-02 07:45:22 +01:00
Jakob Borg
84ca86f095
gui, man, authors: Update docs, translations, and contributors
2018-12-26 07:45:23 +01:00
Jakob Borg
c98a34a5d4
gui, man, authors: Update docs, translations, and contributors
2018-12-12 07:45:23 +01:00
Jakob Borg
d3d0161fb9
gui, man, authors: Update docs, translations, and contributors
2018-11-14 07:45:23 +01:00
Jakob Borg
e67be59c5f
gui, man, authors: Update docs, translations, and contributors
2018-11-07 07:45:25 +01:00
Jakob Borg
3c657d1749
gui, man, authors: Update docs, translations, and contributors
2018-10-17 07:45:24 +02:00
Jakob Borg
dfc1101307
gui, man, authors: Update docs, translations, and contributors
2018-10-10 07:45:20 +02:00
Jakob Borg
2e425c4386
gui, man, authors: Update docs, translations, and contributors
2018-10-03 07:45:28 +02:00
Jakob Borg
d9d2cf74a0
gui, man, authors: Update docs, translations, and contributors
2018-09-12 07:45:26 +02:00
Jakob Borg
d2c68fd163
gui, man, authors: Update docs, translations, and contributors
2018-08-22 07:45:24 +02:00
Jakob Borg
af48b069cc
gui, man, authors: Update docs, translations, and contributors
2018-08-01 07:45:28 +02:00
Jakob Borg
d8366e4a88
authors: Enable auto updates ( #5074 )
...
Removes the manual handling of the AUTHORS file, giving every committer automatic credit for their contribution.
Manual tweaks to the file are still accepted and retained by the scripts.
2018-07-23 17:41:59 +02:00
Jakob Borg
b83c5b32bf
authors: Add bebehei
2018-07-20 15:46:38 +02:00
Simon Frei
742ab17a2a
authors: Patch xor-gate ( #5057 )
2018-07-09 16:22:51 +03:00
Jakob Borg
290dcf0610
authors: Add xor-gate
2018-07-05 23:58:00 +02:00
