#!/bin/bash

# Helper file to print the version of DOLFIN
echo 1.4.0
