Basti 8db259d147 Add button for opening public docs in a new tab		2018-01-25 16:52:56 +00:00
..
file-icons	Use different file icon for JSON objects	2017-11-12 18:27:54 +01:00
icons	Add button for opening public docs in a new tab	2018-01-25 16:52:56 +00:00