Menu

Commit [r8339]  Maximize  Restore  History

Fixed minor spelling typo noticed by Annie.

dwarren 2015-04-23

changed /trunk/XSB/docs/userman/intro.tex
/trunk/XSB/docs/userman/intro.tex Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB