Doug Coleman 62f672c84d editors.ui: merge the authors file hanging around on my local repo.		2018-08-03 10:39:30 -04:00
..
authors.txt	…
ui.factor	…