2023-05-14 00:21:16 +02:00
|
|
|
/* See LICENSE file for copyright and license details. */
|
|
|
|
|
2023-03-24 03:14:24 +01:00
|
|
|
static void readstdin(void);
|
2023-05-07 01:41:30 +02:00
|
|
|
static void readfile(void);
|
2023-05-07 02:11:16 +02:00
|
|
|
static int parsemarkup(int index);
|