Commit 81ed0daa authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega
Browse files

Skip Abbreviations clause when reformatting examples

parent 56d86df3