blob: 7f0fa9cc0af05141b3d5dfedf05c0269f9491ab9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
%{
/* tex2doc.l 20 Jan 90
*-------------------------------------------------------
* (c) 1990 by J.Schrod.
* Copyright conditions: GNU General Public License
*/
%}
%%
^%%%\ ? ;
^%%%%.*\n ;
|