exo1: rename an attribute.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 17 Apr 2018 20:21:00 +0000 (22:21 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 17 Apr 2018 20:21:00 +0000 (22:21 +0200)
commitf1809579c7e4fe66338985cc6f8e9e5c2399cf0e
treedbee2aaab5a9fb57c48b38fe3fabc8a1a76a23ed
parente1499f74d5264f2205c54bf9b1a4c66fd447a844
exo1: rename an attribute.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
exo1/Pile.java