| changeset 21 | 01fe372188ac |
| parent 17 | d95d9e7a2b81 |
| child 24 | 026a2ba0ce16 |
| 20:45798398f4c8 | 21:01fe372188ac |
|---|---|
34 { |
34 { |
35 unsigned char *index; |
35 unsigned char *index; |
36 int indexfd; |
36 int indexfd; |
37 int indexsize; |
37 int indexsize; |
38 FILE *defs; |
38 FILE *defs; |
39 int trim_first_line; |
|
40 int trim_last_newlines; |
|
39 }; |
41 }; |
40 |
42 |
41 /* write.c */ |
43 /* write.c */ |
42 void write_dictionary(const char *name); |
44 void write_dictionary(const char *name); |
43 |
45 |