Mercurial > gui
diff remotePager.urs @ 22:4362b15220e4
Comment corrections based on code review.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 22 Aug 2011 05:06:15 -0430 |
parents | 2e397d373289 |
children |
line wrap: on
line diff
--- a/remotePager.urs Sun Aug 21 11:27:41 2011 -0400 +++ b/remotePager.urs Mon Aug 22 05:06:15 2011 -0430 @@ -37,7 +37,7 @@ functor Make(M : sig type errorMarker - (* Classifies the possible error conditions returned by the rpc call. *) + (* Classifies the possible error conditions returned by the rpc. *) type pageGroup (* Classifies families of pages. *)