Changes

#158 (Apr 8, 2023, 7:58:49 AM)

1. disable nightly build — Christian Dietrich / githubweb
2. added outdated message to readme — Christian Dietrich / githubweb

#157 (Bootstrap 2.30.0) (Feb 27, 2023, 1:16:40 PM)

1. [releng] Update Xtext version to 2.31.0 — null / githubweb