HomeSort by: relevance | last modified time | path
    Searched refs:foot_num (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 2428 $foot_num = 0;
4424 $foot_num++;
4425 $docid = "DOCF$foot_num";
4426 $footid = "FOOT$foot_num";
4427 $foot = "($foot_num)";
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 2428 $foot_num = 0;
4424 $foot_num++;
4425 $docid = "DOCF$foot_num";
4426 $footid = "FOOT$foot_num";
4427 $foot = "($foot_num)";
  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 453 $foot_num = 0;
1402 $foot_num++;
1403 $docid = "DOCF$foot_num";
1404 $footid = "FOOT$foot_num";
1405 $foot = "($foot_num)";
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 453 $foot_num = 0;
1402 $foot_num++;
1403 $docid = "DOCF$foot_num";
1404 $footid = "FOOT$foot_num";
1405 $foot = "($foot_num)";

Completed in 31 milliseconds