Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / editors / editpadpro / 
treefe070416a4cd742a1948a251adfea1b15a404b44
drwxr-xr-x   ..
-rw-r--r-- 12 authors.txt
-rw-r--r-- 277 editpadpro-docs.factor
-rw-r--r-- 558 editpadpro.factor
-rw-r--r-- 30 summary.txt
-rw-r--r-- 11 tags.txt