Change name of input file
commitaf6c5a2b75824a2bb75f3e157941fde64b1fb088
authorAlessio Chiapperini <alessio.chiapperini@nullbuffer.com>
Mon, 31 Jan 2022 15:11:38 +0000 (31 16:11 +0100)
committerAlessio Chiapperini <alessio.chiapperini@nullbuffer.com>
Mon, 31 Jan 2022 15:11:38 +0000 (31 16:11 +0100)
tree4c00ef03d51aeb12806c028b68ffeb487e3aff51
parent4906507e36bee7618b49345006ae4bce4dcfb0f2
Change name of input file
src/consume.c