mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Another calendar documentation fix.
library/calender.m:
As above.
This commit is contained in:
@@ -22,7 +22,7 @@
|
||||
% a detailed description.) This is the calendar that is currently used
|
||||
% by most of the world.
|
||||
%
|
||||
% This modules allows times to be represented at microsecond resolution,
|
||||
% This module allows times to be represented at microsecond resolution,
|
||||
% though of course not all sources of time information are that precise.
|
||||
%
|
||||
%---------------------------------------------------------------------------%
|
||||
|
||||
Reference in New Issue
Block a user