Forgotten header for previous patch
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 12 May 2016 13:49:26 +0000 (15:49 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 12 May 2016 13:49:26 +0000 (15:49 +0200)
commit0016be1c7eb8b02be7944c8aa2daf7782fb19a53
treeefe173a264ca85f82b9307716039225f106a2c22
parent76e5723516d8510005ef608575a6ee6b5848e2c2
Forgotten header for previous patch
frontend.h