Corrects a typo.
commit5536c2cd00bf626f08fc75d4aa0ba3fcf3fa1a3e
authorJaime E. Villate <villate@fe.up.pt>
Fri, 30 Apr 2021 15:11:41 +0000 (30 16:11 +0100)
committerJaime E. Villate <villate@fe.up.pt>
Fri, 30 Apr 2021 15:11:41 +0000 (30 16:11 +0100)
treea81ef38cedf1cc7126a9dbffbebc5289cd114816
parentdcc6cb1615216e0fc71a28163ffef6527fae7cd1
Corrects a typo.
ChangeLog
doc/info/Integration.texi