5 lines
156 B
Plaintext
Raw Normal View History

2019-05-23 17:36:43 -04:00
71bdbf431b79dff61944f22c25c7e085ccfc25d5
2018-03-19 15:31:14 -05:00
The first line of this file holds the git revision number of the
last merge done from the master library sources.