2017-07-07 18:15:10 +02:00
|
|
|
# Generated by Django 1.11.2 on 2017-07-07 15:58
|
|
|
|
from django.db import migrations, models
|
|
|
|
|
2020-01-14 21:59:46 +01:00
|
|
|
|
2017-07-07 18:15:10 +02:00
|
|
|
class Migration(migrations.Migration):
|
|
|
|
|
|
|
|
dependencies = [
|
2021-02-12 08:20:45 +01:00
|
|
|
("zerver", "0089_auto_20170710_1353"),
|
2017-07-07 18:15:10 +02:00
|
|
|
]
|
|
|
|
|
|
|
|
operations = [
|
|
|
|
migrations.AddField(
|
2021-02-12 08:20:45 +01:00
|
|
|
model_name="userprofile",
|
|
|
|
name="high_contrast_mode",
|
2017-07-07 18:15:10 +02:00
|
|
|
field=models.BooleanField(default=False),
|
|
|
|
),
|
|
|
|
]
|