#!/bin/bash

set -e


rm   ../source/thin/*.ads
rm   ../source/thin/*.cxx

mv   ./*.ads    ../source/thin
mv   ./*.cxx    ../source/thin