tree de57c0321631c8edaae18aa098c3e383cfcd20ad
parent 9f3d83dca0438f0782369b80ebcee1dce42c8623
author Tristan Gingold <gingold@adacore.com> 1270127239 +0000
committer Tristan Gingold <gingold@adacore.com> 1270127239 +0000

Add missing file from my previous commit.