hrehfeld

body, .btn, .font-headings, h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
    font-family: Roboto !important;
    font-size: 90%;
}

hrehfeld

    # u0 = x0 * m00 + y0 * m01 + z0 * m02 + m03
    # u1 = x1 * m00 + y1 * m01 + z1 * m02 + m03
    # u2 = x2 * m00 + y2 * m01 + z2 * m02 + m03
    # u3 = x3 * m00 + y3 * m01 + z3 * m02 + m03

hrehfeld

import sys
import time
import logging
from watchdog.observers import Observer
from watchdog.observers.polling import PollingObserver
import watchdog.events

from pathlib import Path

from subprocess import check_call

hrehfeld

$ systemctl --user daemon-reload                                 
hrehfeld@desktop-dev ~/.config/systemd/user
$ cat mu.service.d/override.conf                                 
[Unit]
After=offlineimap@personal.service

[Install]
RequiredBy=offlineimap@personal.service
hrehfeld@desktop-dev ~/.config/systemd/user
$ systemctl --user list-dependencies offlineimap@personal.service

hrehfeld

[Unit]
Description=Offlineimap Service for account %i

[Service]
Type=oneshot
ExecStart=/usr/bin/offlineimap -o -a %i -u syslog
#Restart=on-watchdog
#WatchdogSec=300

[Install]

hrehfeld

[Unit]
Description=Offlineimap Query Timer for account %i

[Timer]
OnUnitActiveSec=1min

[Install]
WantedBy=mail.target

hrehfeld

(defun foo (a :Int) 0)
(defun foo (s :Str) "Test")
(defun bar () (foo 0))

---

def foo_int(a) ->int:
    return 0

def foo_str(s) ->str:

hrehfeld

--- db/models/sql/query_org.py  2012-04-29 12:06:48.798119638 +0200
+++ db/models/sql/query.py      2012-04-29 12:04:20.155210307 +0200
@@ -1753,7 +1753,12 @@
         certain related models (as opposed to all models, when
         self.select_related=True).
         """
-        field_dict = {}
+        if self.select_related is False:
+            field_dict = {}
+        else:

hrehfeld

(setq calendar-latitude 49.0047
	  calendar-longitude 8.3858
	  calendar-location-name "Karlsruhe, DE"
	  calendar-offset -1
	  )
;(european-calendar-style
(setq calendar-holidays '((holiday-fixed 01 01 "Gesetzlicher Feiertag (Neujahr)")
						  (holiday-fixed 01 06 "Gesetzlicher Feiertag (Heilige Drei Könige)")
                          (holiday-fixed 05 01 "Gesetzlicher Feiertag (Maifeiertag)")
                          (holiday-fixed 10 03 "Gesetzlicher Feiertag (Tag der Deutschen Einheit)")

hrehfeld

        Array<Surfel, uint> const& surfels;
	Array<float4, uint> positionsRadii;
	positionsRadii.Reserve(surfels.GetLength());

	surfels.Map<float4, uint>([](Surfel const& s) { return float4(s.center, s.radius); }, positionsRadii);