mirror of
https://github.com/google/nomulus.git
synced 2025-08-04 17:01:51 +02:00
This change renames directories in preparation for the great package rename. The repository is now in a broken state because the code itself hasn't been updated. However this should ensure that git correctly preserves history for each file.
11 lines
484 B
Standard ML
11 lines
484 B
Standard ML
-----BEGIN PGP SIGNATURE-----
|
|
Version: Crypt::OpenPGP 1.06
|
|
|
|
iQEcBAABAgAGBQJSkoiwAAoJELjE6ZtM/TdMOi8H/RxlKR2wQp5l+AGoHnSSSuiT
|
|
uM6W0CLaxKHRWln5LsvZpKs5Sg5CHJLl2yULZwauX49dzjlSYPPfsAOHzbHDXqgu
|
|
92UjqCA25KGFcL2+jS1o8RDZBxkjc52+RkY4/f822t6RGfBHH3bjLO5hwkeK/6PZ
|
|
PQodAMyFA4CFV/k3bQ3SjQl65olsC33Y4CdskFqC2YlO7nduqo8mvvt7h1OwdzPd
|
|
IMJuG+jkSGmqZMUpqmdDiTS3SYifVmq5Ei77UhzfIB8n6DjicVXg9Tjz/WxBErfM
|
|
1cujs2N1hDXAwqmI6ajiEOky4tbxuK/Ot3CkNiB3iveM1dMytAvXYhw/2ozNhio=
|
|
=rg/b
|
|
-----END PGP SIGNATURE-----
|