]>
| 2019-12-11 | Raphaël Gertz | Rename policy in regulation | tree | commitdiff | 
| 2019-12-11 | Raphaël Gertz | Cleanup | tree | commitdiff | 
| 2019-11-27 | Raphaël Gertz | Import droidsans font | tree | commitdiff | 
| 2019-11-27 | Raphaël Gertz | Switch to droid font with fallback | tree | commitdiff | 
| 2019-11-26 | Raphaël Gertz | Add policy rules | tree | commitdiff | 
| 2019-10-25 | Raphaël Gertz | Initial import | tree | commitdiff |