# sources.sh generated by update_sources
HEADERS='buf_readline.h '
SOURCES='buf_readline.c kc3s.c '
