]> gitweb.factorcode.org Git - factor.git/commit
calendar: rename time* to duration*.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 11 Dec 2020 05:44:11 +0000 (21:44 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 11 Dec 2020 05:44:11 +0000 (21:44 -0800)
commit94872cd1987b44ae08983d1c1915cdbaf3b5aad3
treee134c747c06d9fe225035f8bdfb03e3050fd44bd
parentaf50b922ca1ef3a3e05a95826fe19ed589ed0307
calendar: rename time* to duration*.
basis/calendar/calendar.factor