2021-11-05 18:11:23 +01:00
|
|
|
78d3e0a4f1406b17cdecc77540e09210670fe9a9
|
2012-11-23 15:46:25 +01:00
|
|
|
|
2019-11-07 10:33:54 +01:00
|
|
|
The first line of this file holds the git revision number of the
|
2012-11-23 15:46:25 +01:00
|
|
|
last merge done from the master library sources.
|