update pet for more relaxed pet_expr_is_equal index comparison

[ppn.git] / version.c

#include "gitversion.h"
#include "version.h"

const char *pdg_version()
{
    return GIT_HEAD_ID;
}