18 Commits

Author	SHA1	Message	Date
Miroslav Stampar	d892163a86	Renaming Twitter to X	2024-03-01 13:08:03 +01:00
Miroslav Stampar	548d98e0af	Minor style update	2022-03-31 23:22:51 +02:00
Miroslav Stampar	fc9875fc12	Update of http to https links in translations	2021-10-31 10:53:56 +01:00
Miroslav Stampar	d95406016c	Update regarding #4795	2021-09-08 21:01:41 +02:00
Miroslav Stampar	93ecb5d8c5	Last commits for drei	2019-05-08 13:38:07 +02:00
Miroslav Stampar	43eedb63a8	Trivial update (unification of badges)	2019-04-30 10:31:03 +02:00
Miroslav Stampar	f81e427353	Minor patch of links	2019-03-05 15:34:09 +01:00
Miroslav Stampar	8c6b761044	Replacing doc/COPYING to LICENSE	2017-10-11 14:50:46 +02:00
Miroslav Stampar	36dfad192f	Better link to user's manual	2017-04-13 12:47:14 +02:00
Miroslav Stampar	9436c43306	Mailing list is dead. Long live the mailing list	2017-04-13 12:40:37 +02:00
Miroslav Stampar	42cea2e03c	Better git clone (faster; without too much commit history)	2016-12-08 11:04:42 +01:00
Miroslav Stampar	29c3037512	Better asciinema recording (shorter width)	2016-05-24 17:26:10 +02:00
Miroslav Stampar	d0d7d3a205	Update of location of a sample run	2016-05-24 17:12:44 +02:00
Miroslav Stampar	b2bc3d49fd	Minor update	2016-02-29 00:52:46 +01:00
Miroslav Stampar	71aa7deefe	Minor beautification	2016-02-29 00:49:45 +01:00
Miroslav Stampar	cf5ae507c8	Minor update of READMEs	2016-02-29 00:44:08 +01:00
Miroslav Stampar	db30b37f8a	Removing translations from already translated pages (to ease the inclusion of other languages)	2014-10-14 09:00:26 +02:00
Miroslav Stampar	6db4b29fd3	Adding contributed Greek and Chinese translations	2014-10-13 09:02:33 +02:00