Vincent Esche 3b48447934 Unified spelling of "real-time" (vs. "real time") ... (This spelling is consistent with the one provided by Merriam Webster for use an an adjective)		2020-07-14 16:00:42 +02:00
..
en	Unified spelling of "real-time" (vs. "real time")	2020-07-14 16:00:42 +02:00
ru	Rename RTFM to RTIC	2020-06-11 17:18:29 +00:00