Of course, it might be nice if we change the filename to be consistent too. (Also, the following changes are really 'back-porting' from a demo version I have on local disk.)

git-svn-id: svn+ssh://oldsvn/home/mlalondesvn/svn/cral@76 3ee9b42a-b53c-0410-a25e-f0b6218d5d5b
master
follower 17 years ago
parent 346522a470
commit 5e9cbb88e0
Loading…
Cancel
Save