remove Localization.v universe test

Signed-off-by: Ali Caglayan <[email protected]>
HoTT · Sep 4, 2023 · fcfcc77 · fcfcc77
1 parent 476c366
commit fcfcc77
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/test/Modalities/Localization.v b/test/Modalities/Localization.v