pike.git/ lib/ master.pike.in

2004-04-19

2004-04-19 22:45:58 by Martin Nilsson <mani@lysator.liu.se>

• 9a61da1f2cfe6c0dcab08a93eb285188ef391d42 (9 lines) (+5/-4) ^{[ Show | Annotate ]}
  Branch: 7.9

Minor doc tweak

Rev: lib/master.pike.in:1.346

6:   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.345 2004/04/18 05:37:13 mast Exp $ + // $Id: master.pike.in,v 1.346 2004/04/19 22:45:58 nilsson Exp $      #pike __REAL_VERSION__   //#pragma strict_types
2154:    return ret;    }    -  //! This function is called whenever an #include directive is encountered -  //! it receives the argument for #include and should return the file name -  //! of the file to include +  //! This function is called whenever an #include directive is +  //! encountered. It receives the argument for #include and should +  //! return the file name of the file to include    string handle_include(string f,    string current_file,    int local_include)