#!/bin/bash

# Helper file to print the version of DOLFIN
echo 1.2.0
