Rename an attribute.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 4 May 2018 09:35:15 +0000 (11:35 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 4 May 2018 09:35:15 +0000 (11:35 +0200)
commitc3a259eead7f8071c655e7844d2109bf618c26f0
tree80a2d1f4fce9df578cf4b21c430cc7b264376a42
parent4d9f4a5860c2dffb988982e330039d09874e22d5
Rename an attribute.

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