Branch: Tag:

2001-07-17

2001-07-17 11:36:27 by Martin Nilsson <mani@lysator.liu.se>

Reverted pre->tt change

Rev: lib/7.0/modules/Calendar.pmod/module.pmod:1.4
Rev: lib/modules/Calendar_I.pmod/module.pmod:1.10
Rev: lib/modules/Geography.pmod/Countries.pmod:1.17
Rev: lib/modules/Geography.pmod/Position.pike:1.9
Rev: lib/modules/Parser.pmod/module.pmod:1.10
Rev: lib/modules/Protocols.pmod/HTTP.pmod/module.pmod:1.26

486:   //! an array of the countries on that continent.   //!   //! The continents are: - //! @tt{ + //! @pre{   //! "Europe"   //! "Africa"   //! "Asia"