3 Commits

Author	SHA1	Message	Date
Amos Wenger	816f7fe12a	Run cargo fix --edition-idioms	2022-07-20 15:02:08 +02:00
Jonas Schievink	6c6ae965ba	Update remaining GitHub URLs	2022-07-08 15:44:49 +02:00
Aleksey Kladov	a1c187eef3	Rename ra_syntax -> syntax	2020-08-12 18:30:53 +02:00