Merge branch 'ci/msammler/remove_whitespace' into 'master'
Remove trailing whitespace See merge request !133
Showing
- theories/base.v 2 additions, 2 deletionstheories/base.v
- theories/boolset.v 1 addition, 1 deletiontheories/boolset.v
- theories/fin_maps.v 1 addition, 1 deletiontheories/fin_maps.v
- theories/gmultiset.v 1 addition, 1 deletiontheories/gmultiset.v
- theories/hashset.v 1 addition, 1 deletiontheories/hashset.v
- theories/lexico.v 1 addition, 1 deletiontheories/lexico.v
- theories/list.v 8 additions, 8 deletionstheories/list.v
- theories/listset.v 1 addition, 1 deletiontheories/listset.v
- theories/numbers.v 2 additions, 2 deletionstheories/numbers.v
- theories/sets.v 2 additions, 2 deletionstheories/sets.v
- theories/tactics.v 1 addition, 1 deletiontheories/tactics.v
Loading
Please register or sign in to comment