#!/bin/bash

# Helper file to print the version of DOLFIN
echo 1.3.0
