< a quantity that can be divided into another a whole number of time />

August 30, 2022

If you spend a lot of time typing plain text, writing programs or HTML, you can save much of that time by using a good editor and using it effectively. — Seven habits of effective text editing