Darko Poljak d1c3264cce Revert "Merge branch '__clean_path_use_types' into 'master'" ... This reverts commit 073523be38, reversing changes made to 56435492a0.		2019-11-26 17:58:25 +01:00
..
explorer	Revert "Merge branch '__clean_path_use_types' into 'master'"	2019-11-26 17:58:25 +01:00
parameter	new type: __clean_path	2019-03-30 13:21:13 +02:00
gencode-remote	Revert "Merge branch '__clean_path_use_types' into 'master'"	2019-11-26 17:58:25 +01:00
man.rst	new type: __clean_path	2019-03-30 13:21:13 +02:00