3 commits

Author	SHA1	Message	Date
Aleksey Kladov	9664c57e60	Make hygiene private to hir	2020-08-13 23:54:37 +02:00
Aleksey Kladov	1b0c7701cc	Rename ra_ide -> ide	2020-08-13 17:58:27 +02:00
Aleksey Kladov	ae3abd6e57	Rename ra_ssr -> ssr	2020-08-13 17:02:44 +02:00